| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Enabled saving vector of counter-examples in the ABC framework. | Alan Mishchenko | 2011-08-02 | 1 | -3/+6 |
| | | |||||
| * | Reducing print-out in 'bmc3'. | Alan Mishchenko | 2011-08-01 | 1 | -9/+9 |
| | | |||||
| * | Improvements to 'bmc3' (start frame; stop when all POs are SAT; stop when ↵ | Alan Mishchenko | 2011-07-31 | 1 | -3/+22 |
| | | | | | 2^nRegs frames are completed). | ||||
| * | Added switch to bmc3, which allows to replace some PIs with constants. | Alan Mishchenko | 2011-05-01 | 1 | -9/+21 |
| | | |||||
| * | Updating testcext to ignore the diff in register count and other things. | Alan Mishchenko | 2011-05-01 | 1 | -4/+55 |
| | | |||||
| * | Adding SAT-solver-level timeouts to the BMC engines. | Alan Mishchenko | 2011-04-08 | 1 | -0/+4 |
| | | |||||
| * | Unified the use of counter-examples in three packages. | Alan Mishchenko | 2011-02-13 | 1 | -4/+2 |
| | | |||||
| * | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 1 | -0/+1227 |
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |