Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added support for generating a library of real-life truth-tables. | Alan Mishchenko | 2011-12-09 | 5 | -6/+153 |
| | |||||
* | Integrated new proof-logging into proof-based gate-level abstraction. | Alan Mishchenko | 2011-12-08 | 9 | -246/+766 |
| | |||||
* | 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 |
| | |||||
* | Added/renamed useful APIs. | Alan Mishchenko | 2011-12-06 | 2 | -2/+3 |
| | |||||
* | Another attempt to make CUDD platform- and runtime-independent. | Alan Mishchenko | 2011-12-06 | 5 | -6/+6 |
| | |||||
* | Another attempt to make CUDD platform- and runtime-independent. | Alan Mishchenko | 2011-12-06 | 18 | -91/+171 |
| | |||||
* | Added new switch to the LUT matching code. | Alan Mishchenko | 2011-12-06 | 1 | -13/+5 |
| | |||||
* | g++ portability changes. | Alan Mishchenko | 2011-12-06 | 5 | -40/+40 |
| | |||||
* | Added recording of AIG subgraphs. | Alan Mishchenko | 2011-12-06 | 1 | -9/+9 |
| | |||||
* | Added recording of AIG subgraphs. | Alan Mishchenko | 2011-12-06 | 1 | -0/+1 |
| | |||||
* | Performance bug fix in SOP balancing. | Alan Mishchenko | 2011-12-06 | 4 | -32/+39 |
| | |||||
* | Added recording of AIG subgraphs. | Alan Mishchenko | 2011-12-06 | 4 | -32/+31 |
| | |||||
* | Bug fixes in CUDD 2.4.2. | Alan Mishchenko | 2011-12-06 | 1 | -2/+2 |
| | |||||
* | Bug fixes in CUDD 2.4.2. | Alan Mishchenko | 2011-12-06 | 2 | -4/+6 |
| | |||||
* | Proof-logging in the updated solver. | Alan Mishchenko | 2011-12-05 | 2 | -32/+34 |
| | |||||
* | Fixed performance bug in matching code. | Alan Mishchenko | 2011-12-05 | 1 | -3/+18 |
| | |||||
* | 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 | 6 | -218/+483 |
| | |||||
* | Removing redundant function declarations. | Alan Mishchenko | 2011-12-02 | 1 | -4/+0 |
| | |||||
* | Previusly forgotten debug printout. | Alan Mishchenko | 2011-12-02 | 1 | -1/+1 |
| | |||||
* | Started proof transformations. | Alan Mishchenko | 2011-12-01 | 3 | -0/+493 |
| | |||||
* | 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 | 15 | -113/+2084 |
| | |||||
* | 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 |
| | |||||
* | Making GLA PBA and GLA CBA communicate information. | Alan Mishchenko | 2011-11-22 | 3 | -12/+14 |
| | |||||
* | Modifications to the matching procedure | Alan Mishchenko | 2011-11-22 | 1 | -6/+126 |
| | |||||
* | Bug fix in GLA PBA. | Alan Mishchenko | 2011-11-13 | 1 | -1/+4 |
| | |||||
* | Bug fix in GLA PBA. | Alan Mishchenko | 2011-11-13 | 2 | -0/+3 |
| | |||||
* | Bug fix in GLA PBA. | Alan Mishchenko | 2011-11-13 | 1 | -0/+3 |
| | |||||
* | Setting the number of completed time frames. | Alan Mishchenko | 2011-11-12 | 1 | -1/+1 |
| | |||||
* | Setting the number of completed time frames. | Alan Mishchenko | 2011-11-12 | 2 | -3/+13 |
| | |||||
* | Temporary debugging change. | Alan Mishchenko | 2011-11-12 | 2 | -29/+7 |
| | |||||
* | Temporary debugging change. | Alan Mishchenko | 2011-11-12 | 1 | -1/+1 |
| | |||||
* | Temporary debugging change. | Alan Mishchenko | 2011-11-12 | 1 | -0/+2 |
| | |||||
* | Temporary debugging change. | Alan Mishchenko | 2011-11-12 | 1 | -2/+4 |
| | |||||
* | Temporary debugging change. | Alan Mishchenko | 2011-11-12 | 1 | -0/+1 |
| | |||||
* | Temporary debugging change. | Alan Mishchenko | 2011-11-12 | 1 | -3/+18 |
| | |||||
* | Temporary debugging change. | Alan Mishchenko | 2011-11-12 | 1 | -0/+1 |
| | |||||
* | Temporary debugging change. | Alan Mishchenko | 2011-11-12 | 1 | -0/+1 |
| |