summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcMfs.c
Commit message (Collapse)AuthorAgeFilesLines
* Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs.Alan Mishchenko2020-01-071-16/+126
|
* 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 ↵Alan Mishchenko2015-04-061-0/+1
| | | | into a BDD.
* 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 ↵Alan Mishchenko2013-05-251-3/+25
| | | | optimization.
* 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