summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Retiring old 'fpga' command and package.Alan Mishchenko2012-12-102-65/+1
* Renaming If_Lut_t into If_LibLut_t.Alan Mishchenko2012-12-1014-77/+76
* Adding box library.Alan Mishchenko2012-12-1011-16/+678
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-2/+2
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-095-9/+18
* Renaming multi-output mode enable switch 'bmc3 -s' to be 'bmc3 -a'.Alan Mishchenko2012-12-091-4/+4
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-092-24/+43
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-0911-85/+91
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-1/+9
* Corner-case bug fix in &rpm.Alan Mishchenko2012-12-092-9/+29
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-098-133/+183
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-091-1/+1
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-096-11/+300
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-081-9/+8
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-085-32/+227
* Restoring correct behavior of 'tempor' after a change in counting BMC frames ...Alan Mishchenko2012-12-071-1/+1
* Removed useless code from the sizing package.Alan Mishchenko2012-12-045-532/+2
* Making 'scorr -c' applicable to seq benchmarks without constraints.Alan Mishchenko2012-12-041-4/+4
* DSD manager.Alan Mishchenko2012-12-021-0/+236
* Enabling additional stat printouts.Alan Mishchenko2012-12-021-0/+2
* Enabling additional stat printouts.Alan Mishchenko2012-12-021-1/+1
* Enabling additional stat printouts.Alan Mishchenko2012-12-022-11/+11
* Enabling command &append for combiming multiple AIGs.Alan Mishchenko2012-12-015-3/+116
* 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-287-2/+47
* 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-1423-75/+271
* Modifying parameter limits to allow mapping into 2-LUTs.Alan Mishchenko2012-11-141-3/+3
* DSD manager.Alan Mishchenko2012-11-1313-50/+1000
* 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-115-8/+126
* Improved DSD.Alan Mishchenko2012-11-115-119/+594