summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaFadds.c
Commit message (Expand)AuthorAgeFilesLines
* g++ compiler warnings.Alan Mishchenko2015-11-081-1/+1
* Adding support for black boxes in extended AIG.Alan Mishchenko2015-10-041-1/+1
* Adding switch -x to command &fadds.Alan Mishchenko2015-02-261-7/+12
* Extending &fadds to support artificial chains. New command &setregnum.Alan Mishchenko2014-11-201-21/+141
* Extending &fadds to support artificial chains.Alan Mishchenko2014-11-191-4/+245
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-161-1/+1
* Enabling AIGs with boxes for word-level and sequential designs.Alan Mishchenko2014-11-131-7/+9
* Removing unauthorized printout in 'pdr'.Alan Mishchenko2014-11-091-1/+7
* Detecting full-adder chains and putting them into white boxes.Alan Mishchenko2014-11-091-4/+11
* Detecting full-adder chains and putting them into white boxes.Alan Mishchenko2014-11-091-56/+484
* Full adder detection code.Alan Mishchenko2014-11-081-0/+300