summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcMfs.c
Commit message (Expand)AuthorAgeFilesLines
* Experiments with don't-cares.Alan Mishchenko2017-03-261-14/+1
* Converting some errors into warnings.Alan Mishchenko2016-12-211-1/+1
* Bug fix in 'mfs2': Apply sweep to avoid assertion failure when translating in...Alan Mishchenko2015-04-061-0/+1
* Added backward flop order to &icheck (switch -b).Alan Mishchenko2015-04-011-2/+2
* Propagating changes after updating flag of 'sop'.Alan Mishchenko2015-02-191-3/+3
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-111-7/+7
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-161-2/+0
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-121-5/+6
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-111-0/+4
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-111-126/+132
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-111-10/+71
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-111-13/+17
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-101-0/+153
* Upgrading 'mfs2' to consider some nodes as having no level.Alan Mishchenko2013-10-091-1/+1
* New technology mapper.Alan Mishchenko2013-07-151-1/+3
* Several small changes to the MFS packages.Alan Mishchenko2013-05-271-1/+2
* New MFS package.Alan Mishchenko2013-05-271-3/+7
* New MFS package.Alan Mishchenko2013-05-261-4/+5
* New MFS package.Alan Mishchenko2013-05-261-17/+24
* New command 'putontop' to concatenate networks for don't-care-based optimizat...Alan Mishchenko2013-05-251-3/+25
* New MFS package.Alan Mishchenko2013-05-251-1/+10
* New MFS package.Alan Mishchenko2013-05-251-10/+24
* New MFS package.Alan Mishchenko2013-05-241-2/+7
* New MFS package.Alan Mishchenko2013-05-121-0/+189