Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 | 6 | -40/+44 |
| | |||||
* | 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 | 4 | -0/+497 |
| | |||||
* | 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 | 16 | -113/+2092 |
| | |||||
* | 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 |
| | |||||
* | Added a warning to Makefile about setting compilation flags when compiling ↵ | Alan Mishchenko | 2011-11-24 | 1 | -0/+3 |
| | | | | on 32-bit Linux. | ||||
* | 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 |
| | |||||
* | Making computation in 'fx' run-to-run reproducible. | Alan Mishchenko | 2011-11-12 | 1 | -1/+1 |
| | |||||
* | Enabled skipping random decisions in PBA, which are performed by default. | Alan Mishchenko | 2011-11-12 | 7 | -9/+24 |
| | |||||
* | Do not allow interpolation with constraints. | Alan Mishchenko | 2011-11-12 | 1 | -0/+5 |
| | |||||
* | Dump inductive invariant or last interpolant after interpolation. | Alan Mishchenko | 2011-11-12 | 7 | -21/+108 |
| | |||||
* | Experiment with time reporting in GLA PBA. | Alan Mishchenko | 2011-11-12 | 1 | -3/+3 |
| |