Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Technology mapper. | Alan Mishchenko | 2013-01-08 | 3 | -9/+117 | |
| | ||||||
* | New unrolling manager. | Alan Mishchenko | 2012-12-24 | 4 | -3/+467 | |
| | ||||||
* | Improvements to DSD manager. | Alan Mishchenko | 2012-12-15 | 2 | -48/+175 | |
| | ||||||
* | Assembling timing/hierarchy manager from input data. | Alan Mishchenko | 2012-12-15 | 4 | -25/+133 | |
| | ||||||
* | Assembling timing/hierarchy manager from input data. | Alan Mishchenko | 2012-12-13 | 8 | -129/+170 | |
| | ||||||
* | Unifification of custom extensions. | Alan Mishchenko | 2012-12-13 | 1 | -1/+1 | |
| | ||||||
* | Unifification of custom extensions. | Alan Mishchenko | 2012-12-13 | 1 | -2/+2 | |
| | ||||||
* | Unifification of custom extensions. | Alan Mishchenko | 2012-12-13 | 1 | -3/+3 | |
| | ||||||
* | Unifification of custom extensions. | Alan Mishchenko | 2012-12-13 | 1 | -14/+14 | |
| | ||||||
* | Improvements to DSD manager. | Alan Mishchenko | 2012-12-11 | 3 | -44/+79 | |
| | ||||||
* | Improvements to DSD manager. | Alan Mishchenko | 2012-12-10 | 1 | -19/+21 | |
| | ||||||
* | Improvements to DSD manager. | Alan Mishchenko | 2012-12-10 | 1 | -185/+93 | |
| | ||||||
* | Improvements to DSD manager. | Alan Mishchenko | 2012-12-10 | 1 | -134/+46 | |
| | ||||||
* | Assembling timing/hierarchy manager from input data. | Alan Mishchenko | 2012-12-10 | 2 | -0/+62 | |
| | ||||||
* | Unifification of custom extensions. | Alan Mishchenko | 2012-12-10 | 27 | -1147/+813 | |
| | ||||||
* | Retiring old 'fpga' command and package. | Alan Mishchenko | 2012-12-10 | 2 | -10/+0 | |
| | ||||||
* | Retiring old 'fpga' command and package. | Alan Mishchenko | 2012-12-10 | 2 | -65/+1 | |
| | ||||||
* | Renaming If_Lut_t into If_LibLut_t. | Alan Mishchenko | 2012-12-10 | 14 | -77/+76 | |
| | ||||||
* | Adding box library. | Alan Mishchenko | 2012-12-10 | 11 | -16/+678 | |
| | ||||||
* | Enabling multi-output solving in 'pdr'. | Alan Mishchenko | 2012-12-09 | 1 | -2/+2 | |
| | ||||||
* | Enabling multi-output solving in 'pdr'. | Alan Mishchenko | 2012-12-09 | 5 | -9/+18 | |
| | ||||||
* | Renaming multi-output mode enable switch 'bmc3 -s' to be 'bmc3 -a'. | Alan Mishchenko | 2012-12-09 | 1 | -4/+4 | |
| | ||||||
* | Enabling multi-output solving in 'pdr'. | Alan Mishchenko | 2012-12-09 | 2 | -24/+43 | |
| | ||||||
* | Enabling multi-output solving in 'pdr'. | Alan Mishchenko | 2012-12-09 | 11 | -85/+91 | |
| | ||||||
* | Enabling multi-output solving in 'pdr'. | Alan Mishchenko | 2012-12-09 | 1 | -1/+9 | |
| | ||||||
* | Corner-case bug fix in &rpm. | Alan Mishchenko | 2012-12-09 | 2 | -9/+29 | |
| | ||||||
* | Enabling multi-output solving in 'pdr'. | Alan Mishchenko | 2012-12-09 | 8 | -133/+183 | |
| | ||||||
* | Deriving CEX after phase/tempor/reparam. | Alan Mishchenko | 2012-12-09 | 1 | -1/+1 | |
| | ||||||
* | Deriving CEX after phase/tempor/reparam. | Alan Mishchenko | 2012-12-09 | 6 | -11/+300 | |
| | ||||||
* | Deriving CEX after phase/tempor/reparam. | Alan Mishchenko | 2012-12-08 | 1 | -9/+8 | |
| | ||||||
* | Deriving CEX after phase/tempor/reparam. | Alan Mishchenko | 2012-12-08 | 5 | -32/+227 | |
| | ||||||
* | Restoring correct behavior of 'tempor' after a change in counting BMC frames ↵ | Alan Mishchenko | 2012-12-07 | 1 | -1/+1 | |
| | | | | in 'bmc2'. | |||||
* | Removed useless code from the sizing package. | Alan Mishchenko | 2012-12-04 | 5 | -532/+2 | |
| | ||||||
* | Making 'scorr -c' applicable to seq benchmarks without constraints. | Alan Mishchenko | 2012-12-04 | 1 | -4/+4 | |
| | ||||||
* | DSD manager. | Alan Mishchenko | 2012-12-02 | 1 | -0/+236 | |
| | ||||||
* | Enabling additional stat printouts. | Alan Mishchenko | 2012-12-02 | 1 | -0/+2 | |
| | ||||||
* | Enabling additional stat printouts. | Alan Mishchenko | 2012-12-02 | 1 | -1/+1 | |
| | ||||||
* | Enabling additional stat printouts. | Alan Mishchenko | 2012-12-02 | 2 | -11/+11 | |
| | ||||||
* | Enabling command &append for combiming multiple AIGs. | Alan Mishchenko | 2012-12-01 | 5 | -3/+116 | |
| | ||||||
* | Enabling additional stat printouts. | Alan Mishchenko | 2012-12-01 | 2 | -4/+117 | |
| | ||||||
* | Counter-example analysis and optimization. | Alan Mishchenko | 2012-12-01 | 1 | -64/+258 | |
| | ||||||
* | Counter-example analysis and optimization. | Alan Mishchenko | 2012-11-30 | 1 | -3/+1 | |
| | ||||||
* | Counter-example analysis and optimization. | Alan Mishchenko | 2012-11-30 | 2 | -23/+27 | |
| | ||||||
* | Counter-example analysis and optimization. | Alan Mishchenko | 2012-11-30 | 3 | -14/+137 | |
| | ||||||
* | Counter-example analysis and optimization. | Alan Mishchenko | 2012-11-29 | 3 | -0/+610 | |
| | ||||||
* | Counter-example analysis and optimization. | Alan Mishchenko | 2012-11-28 | 7 | -2/+47 | |
| | ||||||
* | DSD manager. | Alan Mishchenko | 2012-11-20 | 12 | -160/+474 | |
| | ||||||
* | DSD manager. | Alan Mishchenko | 2012-11-19 | 8 | -24/+525 | |
| | ||||||
* | DSD manager. | Alan Mishchenko | 2012-11-16 | 1 | -45/+194 | |
| | ||||||
* | Added switch 'cexcut -m' to generate bad states for all frames after G. | Alan Mishchenko | 2012-11-15 | 6 | -24/+164 | |
| |