summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaMfs.c
Commit message (Expand)AuthorAgeFilesLines
* &sweep and &mfs to preserve nAnd2DelayEddie Hung2020-01-271-0/+1
* Suggested fix to not collect leaves of black boxes.Alan Mishchenko2020-01-111-4/+4
* Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs.Alan Mishchenko2020-01-071-16/+61
* Making &mfs work with boxes larger than 6 inputs. Adding option &if -w to pri...Alan Mishchenko2019-09-191-2/+2
* Bug fix in &mfs.Alan Mishchenko2019-07-251-0/+2
* Compiler warnings.Alan Mishchenko2018-06-081-1/+2
* Updating &mfs to support hard objects.Alan Mishchenko2018-03-231-2/+25
* 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