summaryrefslogtreecommitdiffstats
path: root/src/aig/bdc
Commit message (Collapse)AuthorAgeFilesLines
* 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-172-0/+370
|
* initial commit of public abcAlan Mishchenko2010-11-016-15/+48
|
* Version abc90215Alan Mishchenko2009-02-153-25/+25
|
* Version abc90118Alan Mishchenko2009-01-182-2/+3
|
* Version abc80702Alan Mishchenko2008-07-021-7/+12
|
* Version abc80429Alan Mishchenko2008-04-291-1/+1
|
* Version abc80327Alan Mishchenko2008-03-273-7/+34
|
* Version abc80326Alan Mishchenko2008-03-261-0/+5
|
* Version abc80315Alan Mishchenko2008-03-151-1/+1
|
* Version abc80314Alan Mishchenko2008-03-144-44/+149
|
* Version abc80313Alan Mishchenko2008-03-135-160/+432
|
* Version abc80301Alan Mishchenko2008-03-011-4/+4
|
* Version abc80130_2Alan Mishchenko2008-01-307-0/+1066
|
* Version abc80130Alan Mishchenko2008-01-307-1066/+0
|
* Version abc71001Alan Mishchenko2007-10-017-0/+1066
|
* Version abc70930Alan Mishchenko2007-09-307-1066/+0
|
* Version abc70817Alan Mishchenko2007-08-171-1/+0
|
* Version abc70712Alan Mishchenko2007-07-127-0/+1067