summaryrefslogtreecommitdiffstats
path: root/src/opt/dau/dauDsd.c
Commit message (Expand)AuthorAgeFilesLines
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-23/+23
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-301-1/+1
* DSD manager.Alan Mishchenko2012-11-201-10/+27
* 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