summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
* 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
* Modified command 'eliminate' to perform traditional 'eliminate -1'.Alan Mishchenko2013-04-282-0/+67
* 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
* Bug fix in 'blockpo'.Alan Mishchenko2013-04-111-3/+3
* 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
* Replacing unsafe Aig_ManObjNum() by Aig_ManObjNumMax().Alan Mishchenko2013-03-191-5/+5
* Handling special case in 'fold' when the network is combinational.Alan Mishchenko2013-03-131-5/+15
* PO partitioning algorithm.Alan Mishchenko2013-03-091-1/+1
* PO partitioning algorithm.Alan Mishchenko2013-03-091-6/+11
* PO partitioning algorithm.Alan Mishchenko2013-03-091-5/+5
* PO partitioning algorithm.Alan Mishchenko2013-03-091-2/+291
* Modified command 'init' to allow for specific init values.Alan Mishchenko2013-03-074-7/+13
* Misc changes.Alan Mishchenko2013-03-071-5/+14
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-12/+14
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-055-38/+82
* User-controlable SAT sweeper.Alan Mishchenko2013-03-042-79/+94
* User-controlable SAT sweeper.Alan Mishchenko2013-03-032-6/+62
* User-controlable SAT sweeper.Alan Mishchenko2013-02-272-6/+69
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-273-16/+197
* User-controlable SAT sweeper.Alan Mishchenko2013-02-272-2/+56
* User-controlable SAT sweeper.Alan Mishchenko2013-02-262-7/+7
* User-controlable SAT sweeper.Alan Mishchenko2013-02-262-62/+82
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-0/+6
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-18/+29
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-2/+8
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-2/+6
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-2/+12
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-0/+2
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-3/+25
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-15/+15
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 19:37:18 +0000