summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-145-40/+275
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-146-4/+312
* Added command 'cexsave' and 'cexload'.Alan Mishchenko2012-11-149-12/+201
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-142-4/+3
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-1421-54/+234
* Modifying parameter limits to allow mapping into 2-LUTs.Alan Mishchenko2012-11-141-3/+3
* DSD manager.Alan Mishchenko2012-11-1312-50/+996
* Made print-out of frontier cut an option ('-c') in '&ps'.Alan Mishchenko2012-11-1211-24/+29
* Extending GIA to represent pintypes and pins.Alan Mishchenko2012-11-127-5/+127
* Improved DSD.Alan Mishchenko2012-11-115-17/+297
* Improved DSD.Alan Mishchenko2012-11-111-2/+5
* Improved DSD.Alan Mishchenko2012-11-114-8/+122
* Improved DSD.Alan Mishchenko2012-11-115-119/+594
* Improved DSD.Alan Mishchenko2012-11-104-7/+27
* Improved DSD.Alan Mishchenko2012-11-107-58/+256
* Improved DSD.Alan Mishchenko2012-11-105-145/+1032
* Performance bug fix in choice generation.Alan Mishchenko2012-11-097-27/+51
* Enabling verbose report of dumping abstraction in GLA.Alan Mishchenko2012-11-071-4/+4
* Slightly improved cut computation.Alan Mishchenko2012-11-061-1/+85
* Improved DSD.Alan Mishchenko2012-11-061-68/+80
* Improved DSD.Alan Mishchenko2012-11-061-2/+2
* Improved DSD.Alan Mishchenko2012-11-063-358/+356
* Improvements to LMS code.Alan Mishchenko2012-11-067-259/+259
* Improved DSD.Alan Mishchenko2012-11-062-88/+365
* Improved DSD.Alan Mishchenko2012-11-032-218/+384
* Improved DSD.Alan Mishchenko2012-11-033-55/+154
* Bug fix in semi-canonical form computation.Alan Mishchenko2012-11-022-19/+74
* Adding dumping truth tables from LMS manager.Alan Mishchenko2012-11-022-22/+117
* Improved DSD.Alan Mishchenko2012-11-022-41/+253
* Fixing out-of-bound problem when collecting GIA nodes.Alan Mishchenko2012-11-024-34/+156
* Changing default parameter in &if.Alan Mishchenko2012-11-021-1/+1
* Improvements to LMS code.Alan Mishchenko2012-11-021-7/+82
* Improvements to LMS code.Alan Mishchenko2012-11-023-13/+49
* Improvements to LMS code.Alan Mishchenko2012-11-012-28/+12
* Improvements to LMS code.Alan Mishchenko2012-11-015-20/+76
* Improvements to the truth table computations.Alan Mishchenko2012-11-014-40/+36
* Improvements to the truth table computations.Alan Mishchenko2012-11-015-1100/+889
* Improvements to the truth table computations.Alan Mishchenko2012-11-013-126/+451
* External APIs needed to use ABC as a static library.Alan Mishchenko2012-10-311-0/+66
* Increasing memory page limit in the main SAT solver.Alan Mishchenko2012-10-311-1/+1
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-88/+0
* Removed 'send_cex'.Alan Mishchenko2012-10-311-49/+0
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-13/+22
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-2/+4
* Improvements to the truth table computations.Alan Mishchenko2012-10-312-2/+125
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-2/+39
* Improvements to the truth table computations.Alan Mishchenko2012-10-302-7/+7
* Improvements to the truth table computations.Alan Mishchenko2012-10-302-0/+537
* Improvements to the truth table computations.Alan Mishchenko2012-10-306-242/+993
* Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixe...Niklas Een2012-10-305-356/+378
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 19:47:16 +0000