summaryrefslogtreecommitdiffstats
path: root/src/opt/dau
Commit message (Collapse)AuthorAgeFilesLines
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-273-59/+59
|
* Compiler warnings.Alan Mishchenko2013-03-311-1/+1
|
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-2/+1
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-1/+1
|
* Fixing compilation problems on Linux-32 related to constants of type ↵Alan Mishchenko2013-01-302-6/+6
| | | | unsigned long long.
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-2/+2
|
* Technology mapper.Alan Mishchenko2013-01-081-7/+105
|
* Improvements to DSD manager.Alan Mishchenko2012-12-152-48/+175
|
* Improvements to DSD manager.Alan Mishchenko2012-12-112-43/+78
|
* Improvements to DSD manager.Alan Mishchenko2012-12-101-19/+21
|
* Improvements to DSD manager.Alan Mishchenko2012-12-101-185/+93
|
* Improvements to DSD manager.Alan Mishchenko2012-12-101-134/+46
|
* DSD manager.Alan Mishchenko2012-12-021-0/+236
|
* Enabling command &append for combiming multiple AIGs.Alan Mishchenko2012-12-011-2/+2
|
* Enabling additional stat printouts.Alan Mishchenko2012-12-011-2/+3
|
* DSD manager.Alan Mishchenko2012-11-204-126/+418
|
* DSD manager.Alan Mishchenko2012-11-192-18/+471
|
* DSD manager.Alan Mishchenko2012-11-161-45/+194
|
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-3/+2
|
* DSD manager.Alan Mishchenko2012-11-138-20/+860
|
* Improved DSD.Alan Mishchenko2012-11-114-15/+295
|
* Improved DSD.Alan Mishchenko2012-11-114-8/+122
|
* Improved DSD.Alan Mishchenko2012-11-113-106/+542
|
* Improved DSD.Alan Mishchenko2012-11-102-6/+7
|
* Improved DSD.Alan Mishchenko2012-11-103-54/+169
|
* Improved DSD.Alan Mishchenko2012-11-104-143/+1030
|
* Improved DSD.Alan Mishchenko2012-11-061-68/+80
|
* Improved DSD.Alan Mishchenko2012-11-061-2/+2
|
* Improved DSD.Alan Mishchenko2012-11-062-358/+304
|
* Improved DSD.Alan Mishchenko2012-11-061-43/+201
|
* Improved DSD.Alan Mishchenko2012-11-032-218/+384
|
* 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-012-26/+19
|
* Improvements to the truth table computations.Alan Mishchenko2012-11-012-635/+804
|
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-40/+348
|
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-88/+0
|
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-0/+87
|
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-3/+3
|
* Improvements to the truth table computations.Alan Mishchenko2012-10-302-0/+537
|
* 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
|
* Enumerating decompositions.Alan Mishchenko2012-10-292-1/+255
|
* 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-062-3/+3
|