| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | 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 | 13 | -26/+26 | |
| | | ||||||
| * | 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 | 4 | -8/+89 | |
| | | | | | 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 | |
| | | ||||||
| * | 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 | |
| | | ||||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |