summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Expand)AuthorAgeFilesLines
* Counter-example depth minimization.Alan Mishchenko2013-05-223-6/+98
* Windows Visual Studio 2008 warnings.Alan Mishchenko2013-05-202-3/+3
* g++ warnings.Alan Mishchenko2013-05-191-1/+1
* Bug fix in &frames.Alan Mishchenko2013-05-191-25/+6
* Bug fix in &mprove.Alan Mishchenko2013-05-191-2/+2
* Added new switched to command &frames.Alan Mishchenko2013-05-192-6/+45
* Added switch -I <file_name> to &sim to perform simulation with the user's sim...Alan Mishchenko2013-05-181-0/+95
* Adding support of XOR/MUX in GIA.Alan Mishchenko2013-05-171-1/+1
* Adding support of XOR/MUX in GIA.Alan Mishchenko2013-05-177-48/+341
* Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.Alan Mishchenko2013-05-175-32/+5
* Adding new command &mprove for proving groups of properties.Alan Mishchenko2013-05-172-0/+92
* Commenting assertion that does not hold in AIGER 1.9, accoring to Baruch Sterin.Alan Mishchenko2013-05-131-1/+1
* Bug fix in the sweeper.Alan Mishchenko2013-05-081-1/+5
* Bug fix in the sweeper.Alan Mishchenko2013-05-071-2/+6
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-073-5/+6
* SAT sweeping under constraints.Alan Mishchenko2013-05-061-0/+1
* C++ compiler errors.Alan Mishchenko2013-05-041-1/+1
* C++ compiler errors.Alan Mishchenko2013-05-041-47/+48
* C++ compiler errors.Alan Mishchenko2013-05-041-1/+1
* C++ compiler errors.Alan Mishchenko2013-05-041-2/+2
* Fix to return equiv classes after improving &iso.Alan Mishchenko2013-05-031-1/+1
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-0/+2
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-036-35/+259
* Commenting out a warning.Alan Mishchenko2013-05-021-1/+1
* Minor changes and improvement in PO partitioning (command &popart).Alan Mishchenko2013-05-011-27/+26
* Compiler warnings.Alan Mishchenko2013-05-011-3/+2
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-015-6/+820
* Changing the print-out of &iso.Alan Mishchenko2013-04-302-6/+15
* SAT sweeping under constraints.Alan Mishchenko2013-04-282-3/+37
* SAT sweeping under constraints.Alan Mishchenko2013-04-284-1/+28
* SAT sweeping under constraints.Alan Mishchenko2013-04-274-2/+75
* SAT sweeping under constraints.Alan Mishchenko2013-04-256-158/+161
* Adding command &filter_equiv to filter candidate equivalence classes using in...Alan Mishchenko2013-04-221-5/+39
* Fixing the way packing information is written.Alan Mishchenko2013-04-191-6/+9
* Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ...Alan Mishchenko2013-04-181-0/+1
* Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ...Alan Mishchenko2013-04-171-7/+45
* Adding command &filter_equiv to filter candidate equivalence classes using in...Alan Mishchenko2013-04-171-35/+107
* Fixing the format mismatch in writing mapped GIA.Alan Mishchenko2013-04-022-5/+66
* Small changes to LMS code.Alan Mishchenko2013-04-011-2/+4
* Shrink for 6-LUTs.Alan Mishchenko2013-04-013-4/+4
* Shrink for 6-LUTs.Alan Mishchenko2013-04-012-7/+15
* Shrink for 6-LUTs.Alan Mishchenko2013-03-314-1/+485
* Bug fix in the printout of &popart.Alan Mishchenko2013-03-301-15/+13
* Bug fix in the printout of &popart.Alan Mishchenko2013-03-301-4/+6
* Compiler warnings.Alan Mishchenko2013-03-301-1/+0
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-282-19/+29
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-272-0/+154
* Fixing a bug in &cycle, which could generate an unreachable state.Alan Mishchenko2013-03-261-9/+8
* PO partitioning algorithm.Alan Mishchenko2013-03-091-1/+1
* PO partitioning algorithm.Alan Mishchenko2013-03-091-6/+11
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 15:40:08 +0000