Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Proof-logging in the updated solver. | Alan Mishchenko | 2011-12-05 | 2 | -32/+34 |
* | Proof-logging in the updated solver. | Alan Mishchenko | 2011-12-05 | 4 | -391/+524 |
* | Proof-logging in the updated solver. | Alan Mishchenko | 2011-12-05 | 3 | -18/+34 |
* | Proof-logging in the updated solver. | Alan Mishchenko | 2011-12-04 | 2 | -32/+41 |
* | Proof-logging in the updated solver. | Alan Mishchenko | 2011-12-04 | 3 | -283/+352 |
* | Proof-logging in the updated solver. | Alan Mishchenko | 2011-12-04 | 5 | -216/+481 |
* | Removing redundant function declarations. | Alan Mishchenko | 2011-12-02 | 1 | -4/+0 |
* | Started proof transformations. | Alan Mishchenko | 2011-12-01 | 2 | -0/+477 |
* | Started experiments with a new solver. | Alan Mishchenko | 2011-11-27 | 2 | -645/+265 |
* | Started experiments with a new solver. | Alan Mishchenko | 2011-11-26 | 4 | -555/+466 |
* | Started experiments with a new solver. | Alan Mishchenko | 2011-11-26 | 1 | -3/+10 |
* | Started experiments with a new solver. | Alan Mishchenko | 2011-11-26 | 3 | -4/+6 |
* | Started experiments with a new solver. | Alan Mishchenko | 2011-11-26 | 3 | -72/+371 |
* | Started experiments with a new solver. | Alan Mishchenko | 2011-11-25 | 4 | -7/+1732 |
* | Commented out the default call to UNSAT core verification. | Alan Mishchenko | 2011-11-25 | 1 | -1/+1 |
* | Improvement to the SAT solver (skipping binary clauses). | Alan Mishchenko | 2011-11-25 | 3 | -5/+57 |
* | Enabled skipping random decisions in PBA, which are performed by default. | Alan Mishchenko | 2011-11-12 | 2 | -1/+9 |
* | Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc. | Alan Mishchenko | 2011-10-31 | 1 | -3/+4 |
* | New abstraction code. | Alan Mishchenko | 2011-10-15 | 1 | -0/+2 |
* | Reduced default growth rate of vectors in the SAT solver. | Alan Mishchenko | 2011-07-13 | 1 | -2/+4 |
* | Adding SAT-solver-level timeouts to the BMC engines. | Alan Mishchenko | 2011-04-08 | 2 | -1/+9 |
* | Added test package (new files). | Alan Mishchenko | 2011-03-29 | 1 | -0/+5 |
* | Cumulative changes in the last few weeks. | Alan Mishchenko | 2011-01-13 | 2 | -39/+152 |
* | Initial implementation of AnalyseFinal | Alan Mishchenko | 2010-12-03 | 2 | -1/+9 |
* | Adding missing license agreements | Alan Mishchenko | 2010-11-29 | 1 | -0/+21 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 20 | -113/+3653 |
* | Version abc90310 | Alan Mishchenko | 2009-03-10 | 1 | -0/+1 |
* | Version abc90215 | Alan Mishchenko | 2009-02-15 | 13 | -237/+223 |
* | Version abc90118 | Alan Mishchenko | 2009-01-18 | 2 | -12/+140 |
* | Version abc81029 | Alan Mishchenko | 2008-10-29 | 1 | -0/+8 |
* | Version abc81013 | Alan Mishchenko | 2008-10-13 | 1 | -2/+57 |
* | Version abc81004 | Alan Mishchenko | 2008-10-04 | 5 | -27/+2424 |
* | Version abc80927 | Alan Mishchenko | 2008-09-27 | 2 | -1/+1049 |
* | Version abc80921 | Alan Mishchenko | 2008-09-21 | 1 | -36/+32 |
* | Version abc80919 | Alan Mishchenko | 2008-09-19 | 1 | -3/+33 |
* | Version abc80725 | Alan Mishchenko | 2008-07-25 | 2 | -1/+17 |
* | Version abc80719 | Alan Mishchenko | 2008-07-19 | 3 | -13/+32 |
* | Version abc80718 | Alan Mishchenko | 2008-07-18 | 1 | -1/+1 |
* | Version abc80717 | Alan Mishchenko | 2008-07-17 | 5 | -1/+1107 |
* | Version abc80515 | Alan Mishchenko | 2008-05-15 | 1 | -1/+1 |
* | Version abc80511 | Alan Mishchenko | 2008-05-11 | 1 | -1/+1 |
* | Version abc80510 | Alan Mishchenko | 2008-05-10 | 1 | -1/+3 |
* | Version abc80402 | Alan Mishchenko | 2008-04-02 | 1 | -8/+26 |
* | Version abc80315 | Alan Mishchenko | 2008-03-15 | 1 | -1/+1 |
* | Version abc80313 | Alan Mishchenko | 2008-03-13 | 2 | -0/+32 |
* | Version abc80307_2 | Alan Mishchenko | 2008-03-07 | 1 | -0/+1 |
* | Version abc80307 | Alan Mishchenko | 2008-03-07 | 2 | -0/+894 |
* | Version abc80301 | Alan Mishchenko | 2008-03-01 | 1 | -4/+5 |
* | Version abc80208 | Alan Mishchenko | 2008-02-08 | 2 | -0/+27 |
* | Version abc80202 | Alan Mishchenko | 2008-02-02 | 2 | -0/+10 |