summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Technology mapper.Alan Mishchenko2013-01-082-0/+1621
* Technology mapper.Alan Mishchenko2013-01-082-9/+109
* New unrolling manager.Alan Mishchenko2012-12-243-3/+463
* Improvements to DSD manager.Alan Mishchenko2012-12-152-48/+175
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-154-25/+133
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-138-129/+170
* Unifification of custom extensions.Alan Mishchenko2012-12-131-1/+1
* Unifification of custom extensions.Alan Mishchenko2012-12-131-2/+2
* Unifification of custom extensions.Alan Mishchenko2012-12-131-3/+3
* Unifification of custom extensions.Alan Mishchenko2012-12-131-14/+14
* Improvements to DSD manager.Alan Mishchenko2012-12-113-44/+79
* 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
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-102-0/+62
* Unifification of custom extensions.Alan Mishchenko2012-12-1026-1147/+809
* Retiring old 'fpga' command and package.Alan Mishchenko2012-12-101-2/+0
* Renaming If_Lut_t into If_LibLut_t.Alan Mishchenko2012-12-1014-77/+76
* Adding box library.Alan Mishchenko2012-12-1010-15/+669
* 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-044-524/+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-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