Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |
* | Version abc80130_2 | Alan Mishchenko | 2008-01-30 | 12 | -0/+5152 | |
* | Version abc80130 | Alan Mishchenko | 2008-01-30 | 12 | -5152/+0 | |
* | Version abc80116 | Alan Mishchenko | 2008-01-16 | 5 | -16/+997 | |
* | Version abc71130 | Alan Mishchenko | 2007-11-30 | 1 | -0/+18 | |
* | Version abc71001 | Alan Mishchenko | 2007-10-01 | 11 | -0/+4153 | |
* | Version abc70930 | Alan Mishchenko | 2007-09-30 | 11 | -4151/+0 | |
* | Version abc70926 | Alan Mishchenko | 2007-09-26 | 3 | -12/+20 |