summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaDup.c
Commit message (Expand)AuthorAgeFilesLines
* Improvements to false path detection.Alan Mishchenko2014-07-081-0/+39
* Improvements to representation of choices.Alan Mishchenko2014-07-011-3/+19
* Experiments with cofactoring variables.Alan Mishchenko2014-06-201-8/+49
* New tools for profiling verification miters.Alan Mishchenko2014-06-201-5/+85
* Adding support of multi-output problems in &splitprove.Alan Mishchenko2014-06-151-0/+81
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-0/+94
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-6/+9
* Adding CEC command &splitprove.Alan Mishchenko2014-06-021-2/+2
* Code to explore cofactors of CEC problems.Alan Mishchenko2014-06-021-5/+5
* Sweeper internal verification.Alan Mishchenko2013-11-011-3/+5
* Sweeper internal verification.Alan Mishchenko2013-11-011-2/+33
* Sweeper condition complement bug-fix and code for internal verification.Alan Mishchenko2013-11-011-2/+28
* Sweeper return value normalization.Alan Mishchenko2013-11-011-0/+24
* Performance balancing command &b.Alan Mishchenko2013-09-271-1/+1
* Command '&slice' to cut out the bottom part of the AIG.Alan Mishchenko2013-09-111-0/+48
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-1/+2
* Making selecting duplication procedure creates a smaller AIG.Alan Mishchenko2013-09-051-2/+7
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-281-0/+45
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-201-16/+6
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-201-0/+36
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-251-1/+1
* Multiplexer profiling.Alan Mishchenko2013-05-271-127/+1
* Counter-example depth minimization.Alan Mishchenko2013-05-221-4/+89
* Adding support of XOR/MUX in GIA.Alan Mishchenko2013-05-171-1/+136
* Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.Alan Mishchenko2013-05-171-3/+1
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-0/+35
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-3/+36
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-1/+1
* SAT sweeping under constraints.Alan Mishchenko2013-04-271-0/+41
* SAT sweeping under constraints.Alan Mishchenko2013-04-251-14/+71
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-281-18/+28
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-271-0/+152
* Fixing a bug in &cycle, which could generate an unreachable state.Alan Mishchenko2013-03-261-9/+8
* Modified command 'init' to allow for specific init values.Alan Mishchenko2013-03-071-3/+9
* Integrating sweeping information.Alan Mishchenko2013-02-201-1/+1
* Integrating sweeping information.Alan Mishchenko2013-02-201-0/+34
* New command &cycle, which is faster than 'cycle'.Alan Mishchenko2013-02-191-0/+49
* Integration of timing manager.Alan Mishchenko2013-02-061-0/+6
* Integration of timing manager.Alan Mishchenko2013-02-031-265/+0
* Integration of timing manager.Alan Mishchenko2013-02-011-2/+9
* Integration of timing manager.Alan Mishchenko2013-01-301-0/+134
* Added switch &trim -V <num> to remove const POs with specific value <num>.Alan Mishchenko2013-01-251-2/+2
* Added switch &trim -V <num> to remove const POs with specific value <num>.Alan Mishchenko2013-01-251-3/+23
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-091-0/+104
* Enabling additional stat printouts.Alan Mishchenko2012-12-021-1/+0
* Enabling command &append for combiming multiple AIGs.Alan Mishchenko2012-12-011-0/+32
* Added switch 'cexcut -m' to generate bad states for all frames after G.Alan Mishchenko2012-11-151-3/+3
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-3/+3
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-0/+53
* Extending GIA to represent pintypes and pins.Alan Mishchenko2012-11-121-1/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 02:49:19 +0000