summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaDup.c
Commit message (Expand)AuthorAgeFilesLines
* 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
* C++ portability changes.Alan Mishchenko2012-10-031-1/+1
* Renamed reference counting APIs in GIA package.Alan Mishchenko2012-10-021-4/+4
* Integrating time manager into choice computation.Alan Mishchenko2012-09-221-7/+19
* Added GIA normalization using timing manager.Alan Mishchenko2012-09-221-5/+87
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-151-257/+0
* Enabled recording the name of the file GIA is coming from.Alan Mishchenko2012-09-041-0/+28
* Added switch &trim -c to additionally remove direct connections (POs fed by P...Alan Mishchenko2012-07-201-0/+52
* Added command &gla_purify.Alan Mishchenko2012-07-081-1/+1
* Performance improvement in &gla_refine.Alan Mishchenko2012-07-031-104/+79
* Added min-cut-based refinement of gate-level abstraction (command &gla_refine).Alan Mishchenko2012-06-241-0/+46
* Preventing &iso from removing fanoutless PIs.Alan Mishchenko2012-05-031-3/+11
* Bug fixes in previous bug fixes related to &trim.Alan Mishchenko2012-05-011-30/+58
* Added supporting dual-output seq miters in &trim (bug fix).Alan Mishchenko2012-04-301-2/+0
* Added supporting dual-output seq miters in &trim.Alan Mishchenko2012-04-281-0/+13