summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaTim.c
Commit message (Expand)AuthorAgeFilesLines
* Improvements to representation of choices.Alan Mishchenko2014-07-011-2/+2
* Changes to LUT mappers.Alan Mishchenko2014-03-081-2/+2
* Sweeper condition complement bug-fix and code for internal verification.Alan Mishchenko2013-11-011-1/+1
* C++ compiler errors.Alan Mishchenko2013-05-041-47/+48
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-0/+1
* 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-12/+14
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-21/+61
* Integrating sweeping information.Alan Mishchenko2013-02-231-15/+25
* Integrating sweeping information.Alan Mishchenko2013-02-201-137/+32
* Integrating sweeping information.Alan Mishchenko2013-02-201-12/+13
* Integrating sweeping information.Alan Mishchenko2013-02-201-5/+66
* Integrating hierarchy information (reporting incorrect topological order).Alan Mishchenko2013-02-201-12/+47
* Integrating sweeping information.Alan Mishchenko2013-02-181-0/+19
* Integration of timing manager.Alan Mishchenko2013-02-061-0/+18
* Integration of timing manager.Alan Mishchenko2013-02-031-0/+550