summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaTim.c
Commit message (Expand)AuthorAgeFilesLines
* Experimental algorithm for edge optimization.Alan Mishchenko2016-04-131-1/+1
* Supporting edge information during mapping.Alan Mishchenko2016-04-111-4/+4
* Adding AIG rehashing after LUT mapping in Gia.Alan Mishchenko2016-04-071-1/+6
* Adding support for black boxes in extended AIG.Alan Mishchenko2015-10-041-4/+12
* Adding support for flop init-states in extended AIG.Alan Mishchenko2015-10-041-0/+22
* Integrating barrier buffers.Alan Mishchenko2014-12-111-2/+16
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-251-0/+1
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-251-2/+14
* Adding integrity check for boxes and flops.Alan Mishchenko2014-11-251-0/+12
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-241-2/+2
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-241-17/+43
* Extending &fadds to support artificial chains.Alan Mishchenko2014-11-191-29/+35
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-171-5/+2
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-161-4/+48
* Enabling AIGs with boxes for word-level and sequential designs.Alan Mishchenko2014-11-141-33/+24
* Enabling AIGs with boxes for word-level and sequential designs.Alan Mishchenko2014-11-131-180/+309
* Detecting full-adder chains and putting them into white boxes.Alan Mishchenko2014-11-091-38/+38
* Adding commands to save/load best network.Alan Mishchenko2014-08-261-0/+104
* 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