summaryrefslogtreecommitdiffstats
path: root/src/aig/bdc/bdcSpfd.c
Commit message (Collapse)AuthorAgeFilesLines
* Major restructuring of the code.Alan Mishchenko2012-01-211-1176/+0
|
* 64-bit portability changes.Alan Mishchenko2011-09-171-5/+5
|
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-251-1/+54
|
* Experiments with SPFD-based decomposition.Alan Mishchenko2011-08-241-1/+3
|
* Experiments with SPFD-based decomposition.Alan Mishchenko2011-08-211-2/+6
|
* Experiments with SPFD-based decomposition.Alan Mishchenko2011-08-211-91/+311
|
* Experiments with SPFD-based decomposition.Alan Mishchenko2011-08-201-2/+5
|
* Making sure reconcile does not change the PO number.Alan Mishchenko2011-08-201-6/+5
|
* Experiments with SPFD-based decomposition + new K-map print-out.Alan Mishchenko2011-08-201-15/+541
|
* Experiments with SPFD-based decomposition.Alan Mishchenko2011-08-171-0/+369