Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bug fix in CBA and PBA. | Alan Mishchenko | 2011-08-17 | 1 | -0/+3 |
* | 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 2^n... | Alan Mishchenko | 2011-07-31 | 1 | -3/+22 |
* | 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 |