summaryrefslogtreecommitdiffstats
path: root/src/aig/bdc/bdcSpfd.c
Commit message (Expand)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