Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improved memory management of proof-logging and propagated changes. | Alan Mishchenko | 2012-02-16 | 11 | -2664/+448 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-13 | 1 | -0/+6 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-13 | 3 | -27/+85 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-13 | 2 | -9/+7 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-13 | 1 | -16/+19 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-12 | 2 | -71/+62 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-02-11 | 1 | -9/+28 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-28 | 1 | -13/+17 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-27 | 3 | -210/+127 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-24 | 2 | -23/+42 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-24 | 1 | -10/+80 |
| | |||||
* | Variable timeframe abstraction. | Alan Mishchenko | 2012-01-21 | 1 | -6/+1 |
| | |||||
* | 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 |
| | | | | about 5% of runtime). | ||||
* | 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 ↵ | Alan Mishchenko | 2011-12-09 | 4 | -315/+330 |
| | | | | params after each restart), making the SAT solver platform- and runtime-independent (by using interger-based activity). | ||||
* | 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 |
| |