summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSweep.c
Commit message (Expand)AuthorAgeFilesLines
* &sweep and &mfs to preserve nAnd2DelayEddie Hung2020-01-271-0/+1
* Extension in the detection code.Alan Mishchenko2016-07-191-0/+3
* Adding option to rehash AIG after mapping.Alan Mishchenko2016-04-271-2/+2
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-0/+1
* Adding support for flop init-states in extended AIG.Alan Mishchenko2015-10-041-2/+13
* C++ compiler typecast problem.Alan Mishchenko2015-07-081-1/+1
* Print-out of sequential equivalences in &scorr.Alan Mishchenko2015-03-311-12/+41
* Changes to history recording and other small things.Alan Mishchenko2014-11-301-3/+3
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-251-2/+3
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-251-1/+107
* Adding integrity check for boxes and flops.Alan Mishchenko2014-11-251-19/+80
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-241-14/+1
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-241-41/+104
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-241-32/+202
* Improving GIA interfaces for some procedures.Alan Mishchenko2014-08-251-1/+1
* Propagating timing support to the new synthesis/mapping commands.Alan Mishchenko2014-08-201-3/+1
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-071-1/+1
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-1/+1
* Integrating sweeping information.Alan Mishchenko2013-02-231-0/+6
* Integrating sweeping information.Alan Mishchenko2013-02-231-3/+4
* Integrating sweeping information.Alan Mishchenko2013-02-201-1/+1
* Integrating sweeping information.Alan Mishchenko2013-02-201-24/+18
* Integrating sweeping information.Alan Mishchenko2013-02-201-22/+12
* Integrating sweeping information.Alan Mishchenko2013-02-201-64/+37
* Integrating hierarchy information (reporting incorrect topological order).Alan Mishchenko2013-02-201-1/+4
* Integrating sweeping information.Alan Mishchenko2013-02-191-2/+57
* Integrating sweeping information.Alan Mishchenko2013-02-181-0/+325