summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
* Enabling additional stat printouts.Alan Mishchenko2012-12-012-4/+117
* Counter-example analysis and optimization.Alan Mishchenko2012-12-011-64/+258
* Counter-example analysis and optimization.Alan Mishchenko2012-11-301-3/+1
* Counter-example analysis and optimization.Alan Mishchenko2012-11-302-23/+27
* Counter-example analysis and optimization.Alan Mishchenko2012-11-303-14/+137
* Counter-example analysis and optimization.Alan Mishchenko2012-11-293-0/+610
* Counter-example analysis and optimization.Alan Mishchenko2012-11-286-2/+43
* DSD manager.Alan Mishchenko2012-11-2012-160/+474
* DSD manager.Alan Mishchenko2012-11-198-24/+525
* DSD manager.Alan Mishchenko2012-11-161-45/+194
* Added switch 'cexcut -m' to generate bad states for all frames after G.Alan Mishchenko2012-11-156-24/+164
* Added switch 'cexcut -n' to generate only one bad state.Alan Mishchenko2012-11-154-110/+258
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-143-24/+37
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-0/+2
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 16:09:29 +0000