| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 61 | -11293/+8750 |
| * | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-20 | 4 | -30/+39 |
| * | Improving printout in the SAT solver. | Alan Mishchenko | 2012-01-13 | 2 | -2/+4 |
| * | Bug fix related to not properly resizing SAT solver's model array. | Alan Mishchenko | 2012-01-12 | 2 | -0/+2 |
| * | Bug fix related to not properly resizing SAT solver's model array. | Alan Mishchenko | 2012-01-06 | 5 | -31/+25 |
| * | APIs to represent simple gates in CNF. | Alan Mishchenko | 2012-01-05 | 1 | -0/+112 |
| * | APIs to represent simple gates in CNF. | Alan Mishchenko | 2012-01-05 | 1 | -0/+100 |
| * | Transforming the solver to use different clause representation. | Alan Mishchenko | 2011-12-23 | 3 | -38/+83 |
| * | Transforming the solver to use different clause representation. | Alan Mishchenko | 2011-12-23 | 3 | -91/+45 |
| * | Transforming the solver to use different clause representation. | Alan Mishchenko | 2011-12-23 | 2 | -4/+4 |
| * | Transforming the solver to use different clause representation. | Alan Mishchenko | 2011-12-23 | 8 | -542/+2484 |
| * | Transforming the solver to use different clause representation. | Alan Mishchenko | 2011-12-22 | 1 | -143/+143 |
| * | Computing interpolants as truth tables. | Alan Mishchenko | 2011-12-22 | 8 | -0/+825 |
| * | Undoing temporary change to the solver. | Alan Mishchenko | 2011-12-15 | 1 | -1/+1 |
| * | Temporary change to the solver. | Alan Mishchenko | 2011-12-15 | 1 | -1/+1 |
| * | Started SAT-based reparameterization. | Alan Mishchenko | 2011-12-13 | 3 | -149/+73 |
| * | Implementing rollback in the updated solver. | Alan Mishchenko | 2011-12-10 | 1 | -5/+6 |
| * | Implementing rollback in the updated solver. | Alan Mishchenko | 2011-12-10 | 3 | -14/+46 |
| * | Implemented rollback in the main SAT solver and updated PDR to use it (saves ... | Alan Mishchenko | 2011-12-10 | 7 | -21/+106 |
| * | Implementing rollback in the updated solver. | Alan Mishchenko | 2011-12-10 | 3 | -81/+218 |
| * | Removing unused files. | Alan Mishchenko | 2011-12-10 | 6 | -6483/+0 |
| * | Changes to the main SAT solver: fixing performance bug (resetting decay param... | Alan Mishchenko | 2011-12-09 | 4 | -315/+330 |
| * | Integrated new proof-logging into proof-based gate-level abstraction. | Alan Mishchenko | 2011-12-08 | 3 | -228/+187 |
| * | Proof-logging in the updated solver. | Alan Mishchenko | 2011-12-08 | 3 | -133/+334 |
| * | Proof-logging in the updated solver. | Alan Mishchenko | 2011-12-08 | 5 | -120/+211 |
| * | Proof-logging in the updated solver. | Alan Mishchenko | 2011-12-07 | 3 | -176/+124 |
| * | Proof-logging in the updated solver. | Alan Mishchenko | 2011-12-06 | 3 | -65/+163 |
| * | g++ portability changes. | Alan Mishchenko | 2011-12-06 | 1 | -2/+2 |
| * | 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 |
| * | Dump last frame clauses with 'pdr -d' even if the problem is SAT or undecided. | Alan Mishchenko | 2011-11-12 | 3 | -7/+17 |
| * | Corner-case bug in PDR. | Alan Mishchenko | 2011-11-11 | 2 | -2/+9 |
| * | Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc. | Alan Mishchenko | 2011-10-31 | 2 | -6/+7 |
| * | New abstraction code. | Alan Mishchenko | 2011-10-15 | 1 | -0/+2 |
| * | Added handling of exceeding conflict limit in PushClasses. | Alan Mishchenko | 2011-10-01 | 1 | -3/+15 |
