summaryrefslogtreecommitdiffstats
path: root/src/opt
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Integrating GIA with LUT mapping.Alan Mishchenko2012-10-241-1/+0
* 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
* New AIG optimization package.Alan Mishchenko2012-10-065-0/+683
* Bug fix in XOR balancing (command 'balance -x').Alan Mishchenko2012-10-051-1/+1
* Renamed reference counting APIs in GIA package.Alan Mishchenko2012-10-021-4/+4
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-294-24/+24
* Cleaing AIG manager by removing pointers to HAIG.Alan Mishchenko2012-09-232-58/+0
* Upgrading hierarchy timing manager.Alan Mishchenko2012-09-212-2/+2
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-151-1/+1
* Enabled recording the name of the file GIA is coming from.Alan Mishchenko2012-09-041-0/+1
* Added an API to convert a multi-output PLA into a shared AIG.Alan Mishchenko2012-08-291-1/+3
* Added simulation of comb circuits with user-specified patterns in command 'sim'.Alan Mishchenko2012-08-241-1/+1
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-096-10/+10
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-0751-88/+88
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+1
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0712-21/+31
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0751-177/+211
* Bug fix in &gla_refine.Alan Mishchenko2012-07-071-0/+3
* Various changes to enable sensitization-based refinement in &gla.Alan Mishchenko2012-07-044-10/+10
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-19 04:52:35 +0000