summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/gia.h
Commit message (Expand)AuthorAgeFilesLines
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-0/+7
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-011-1/+2
* Changing the print-out of &iso.Alan Mishchenko2013-04-301-1/+1
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-0/+1
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-0/+1
* SAT sweeping under constraints.Alan Mishchenko2013-04-271-0/+3
* SAT sweeping under constraints.Alan Mishchenko2013-04-251-2/+19
* Shrink for 6-LUTs.Alan Mishchenko2013-04-011-1/+1
* Shrink for 6-LUTs.Alan Mishchenko2013-04-011-1/+1
* Shrink for 6-LUTs.Alan Mishchenko2013-03-311-0/+1
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-281-1/+1
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-271-0/+2
* Modified command 'init' to allow for specific init values.Alan Mishchenko2013-03-071-1/+1
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-1/+1
* User-controlable SAT sweeper.Alan Mishchenko2013-03-041-1/+1
* User-controlable SAT sweeper.Alan Mishchenko2013-03-031-1/+1
* User-controlable SAT sweeper.Alan Mishchenko2013-02-271-3/+4
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-3/+5
* User-controlable SAT sweeper.Alan Mishchenko2013-02-271-0/+2
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-0/+1
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-3/+5
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-3/+3
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-0/+4
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-2/+10
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-0/+10
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-1/+7
* Integrating sweeping information.Alan Mishchenko2013-02-231-1/+5
* K-hot STG encoding.Alan Mishchenko2013-02-231-1/+1
* Integrating sweeping information.Alan Mishchenko2013-02-201-3/+2
* Integrating sweeping information.Alan Mishchenko2013-02-201-0/+2
* New command &cycle, which is faster than 'cycle'.Alan Mishchenko2013-02-191-0/+1
* Adding STG generation (&era -d) and STG encoding (&read_stg <file>).Alan Mishchenko2013-02-191-0/+3
* Integrating sweeping information.Alan Mishchenko2013-02-191-0/+2
* Integrating sweeping information.Alan Mishchenko2013-02-181-0/+1
* Integrating packing information.Alan Mishchenko2013-02-171-0/+1
* Integration of timing manager.Alan Mishchenko2013-02-031-3/+8
* Integration of timing manager.Alan Mishchenko2013-02-011-1/+1
* Integration of timing manager.Alan Mishchenko2013-01-301-0/+1
* Added switch &trim -V <num> to remove const POs with specific value <num>.Alan Mishchenko2013-01-251-1/+1
* Integration of timing manager.Alan Mishchenko2013-01-231-0/+1
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-2/+0
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+2
* Unifification of custom extensions.Alan Mishchenko2012-12-101-6/+56
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-091-0/+4
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-081-1/+1
* Enabling command &append for combiming multiple AIGs.Alan Mishchenko2012-12-011-0/+1
* Counter-example analysis and optimization.Alan Mishchenko2012-11-281-0/+1
* Added switch 'cexcut -m' to generate bad states for all frames after G.Alan Mishchenko2012-11-151-0/+3
* Added switch 'cexcut -n' to generate only one bad state.Alan Mishchenko2012-11-151-0/+2
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-19 23:46:26 +0000