| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
| | | |||||
| * | Added switch 'cexcut -n' to generate only one bad state. | Alan Mishchenko | 2012-11-15 | 4 | -110/+258 |
| | | |||||
| * | Added command 'cexcut' and 'cexmerge'. | Alan Mishchenko | 2012-11-14 | 3 | -24/+37 |
| | | |||||
| * | Added command 'cexcut' and 'cexmerge'. | Alan Mishchenko | 2012-11-14 | 1 | -0/+2 |
| | | |||||
| * | Added command 'cexcut' and 'cexmerge'. | Alan Mishchenko | 2012-11-14 | 5 | -40/+275 |
| | | |||||
| * | Added command 'cexcut' and 'cexmerge'. | Alan Mishchenko | 2012-11-14 | 6 | -4/+312 |
| | | |||||
| * | Added command 'cexsave' and 'cexload'. | Alan Mishchenko | 2012-11-14 | 9 | -12/+201 |
| | | |||||
| * | Isolating BMC code into a separate package. | Alan Mishchenko | 2012-11-14 | 2 | -4/+3 |
| | | |||||
| * | Isolating BMC code into a separate package. | Alan Mishchenko | 2012-11-14 | 23 | -75/+271 |
| | | |||||
| * | Modifying parameter limits to allow mapping into 2-LUTs. | Alan Mishchenko | 2012-11-14 | 1 | -3/+3 |
| | | |||||
| * | DSD manager. | Alan Mishchenko | 2012-11-13 | 13 | -50/+1000 |
| | | |||||
| * | Made print-out of frontier cut an option ('-c') in '&ps'. | Alan Mishchenko | 2012-11-12 | 11 | -24/+29 |
| | | |||||
| * | Extending GIA to represent pintypes and pins. | Alan Mishchenko | 2012-11-12 | 7 | -5/+127 |
| | | |||||
| * | Improved DSD. | Alan Mishchenko | 2012-11-11 | 5 | -17/+297 |
| | | |||||
| * | Improved DSD. | Alan Mishchenko | 2012-11-11 | 1 | -2/+5 |
| | | |||||
| * | Improved DSD. | Alan Mishchenko | 2012-11-11 | 5 | -8/+126 |
| | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |