summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSweep.c
Commit message (Expand)AuthorAgeFilesLines
* 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