summaryrefslogtreecommitdiffstats
path: root/src/opt/dau/dauDsd.c
Commit message (Collapse)AuthorAgeFilesLines
* DSD manager.Alan Mishchenko2012-11-131-1/+0
|
* Improved DSD.Alan Mishchenko2012-11-111-7/+9
|
* Improved DSD.Alan Mishchenko2012-11-111-85/+531
|
* Improved DSD.Alan Mishchenko2012-11-101-0/+1
|
* Improved DSD.Alan Mishchenko2012-11-101-0/+8
|
* Improved DSD.Alan Mishchenko2012-11-101-140/+297
|
* Improved DSD.Alan Mishchenko2012-11-061-68/+80
|
* Improved DSD.Alan Mishchenko2012-11-061-2/+2
|
* Improved DSD.Alan Mishchenko2012-11-061-358/+301
|
* Improved DSD.Alan Mishchenko2012-11-061-43/+201
|
* Improved DSD.Alan Mishchenko2012-11-031-217/+383
|
* Improved DSD.Alan Mishchenko2012-11-031-54/+148
|
* Improved DSD.Alan Mishchenko2012-11-021-20/+217
|
* Fixing out-of-bound problem when collecting GIA nodes.Alan Mishchenko2012-11-021-27/+134
|
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-23/+8
|
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-162/+85
|
* Improvements to the truth table computation in 'if' package.Alan Mishchenko2012-10-291-0/+339
|
* Tentatively integrated new DSD.Alan Mishchenko2012-10-291-1/+1
|
* Making explicit cast to 64-bit unsigned in a few places.Alan Mishchenko2012-10-091-5/+5
|
* New AIG optimization package.Alan Mishchenko2012-10-061-5/+5
|
* New AIG optimization package.Alan Mishchenko2012-10-061-31/+18
|
* New AIG optimization package.Alan Mishchenko2012-10-061-19/+59
|
* New AIG optimization package.Alan Mishchenko2012-10-061-1/+1
|
* New AIG optimization package.Alan Mishchenko2012-10-061-0/+446