summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaMfs.c
Commit message (Expand)AuthorAgeFilesLines
* Commenting out &mfs report message.Alan Mishchenko2017-01-271-0/+1
* Adding switch &mfs -b to preserve white boxes during optimization.Alan Mishchenko2016-10-071-3/+3
* Long standing bug fix in &mfs.Alan Mishchenko2016-10-061-12/+18
* Small fixes and improvements in reporting node counts.Alan Mishchenko2016-07-151-2/+2
* Adding support for black boxes in extended AIG.Alan Mishchenko2015-10-041-31/+79
* Adding support for flop init-states in extended AIG.Alan Mishchenko2015-10-041-0/+3
* Adding integrity check for boxes and flops.Alan Mishchenko2014-11-251-0/+2
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-251-0/+3
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-241-1/+1
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-171-17/+30
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-161-238/+249
* Upgrading 'mfs2' to consider some nodes as having no level.Alan Mishchenko2013-10-091-1/+1
* Compiler warnings.Alan Mishchenko2013-06-181-0/+1
* Integrating new MFS package with GIA manager.Alan Mishchenko2013-06-041-0/+389