Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Integrating synthesis into the new BMC engine. | Alan Mishchenko | 2013-10-02 | 1 | -4/+2 |
| | |||||
* | Integrating synthesis into the new BMC engine. | Alan Mishchenko | 2013-10-02 | 1 | -6/+8 |
| | |||||
* | Integrating synthesis into the new BMC engine. | Alan Mishchenko | 2013-10-02 | 2 | -0/+8 |
| | |||||
* | Enabling counter-example generation in the new BMC engine. | Alan Mishchenko | 2013-10-02 | 1 | -21/+24 |
| | |||||
* | Enabling counter-example generation in the new BMC engine. | Alan Mishchenko | 2013-10-01 | 1 | -12/+57 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2013-09-25 | 1 | -2/+10 |
| | |||||
* | Fixing printouts in 'bmc3'. | Alan Mishchenko | 2013-09-25 | 1 | -58/+58 |
| | |||||
* | Added bridge integration for multi-output 'bmc3 -a'. | Alan Mishchenko | 2013-09-17 | 1 | -8/+5 |
| | |||||
* | Added bridge integration for multi-output 'bmc3 -a'. | Alan Mishchenko | 2013-09-17 | 2 | -0/+13 |
| | |||||
* | Compiler warning about unused variable. | Alan Mishchenko | 2013-09-17 | 1 | -2/+2 |
| | |||||
* | Changing dynamic CNF loading code to perform loading before propagate() as ↵ | Alan Mishchenko | 2013-09-16 | 1 | -0/+31 |
| | | | | opposed to when the literal first implied in enqueue(). | ||||
* | Corrected variable naming in clause2_proofid(). | Alan Mishchenko | 2013-09-11 | 1 | -1/+1 |
| | |||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-10 | 1 | -10/+16 |
| | |||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-10 | 1 | -1/+5 |
| | |||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-10 | 2 | -9/+417 |
| | |||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-09 | 1 | -37/+39 |
| | |||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-07 | 1 | -2/+2 |
| | |||||
* | Unifying parameters for the &ps command. | Alan Mishchenko | 2013-09-05 | 6 | -12/+12 |
| | |||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-05 | 2 | -45/+208 |
| | |||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-05 | 2 | -33/+138 |
| | |||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-05 | 1 | -3/+9 |
| | |||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-05 | 1 | -6/+6 |
| | |||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-05 | 2 | -3/+5 |
| | |||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-05 | 5 | -19/+147 |
| | |||||
* | Improved unrolling manager. | Alan Mishchenko | 2013-09-05 | 1 | -94/+92 |
| | |||||
* | Improved unrolling manager. | Alan Mishchenko | 2013-09-05 | 1 | -74/+123 |
| | |||||
* | Adding interpolant computation sat_solver2. | Alan Mishchenko | 2013-09-02 | 1 | -0/+242 |
| | |||||
* | Adding interpolant computation sat_solver2. | Alan Mishchenko | 2013-09-02 | 3 | -1/+28 |
| | |||||
* | Bug fix in 'int'. | Alan Mishchenko | 2013-08-05 | 1 | -2/+2 |
| | |||||
* | Bug fix in 'int'. | Alan Mishchenko | 2013-08-05 | 1 | -42/+35 |
| | |||||
* | SAT solver with dynamic CNF loading. | Alan Mishchenko | 2013-08-01 | 1 | -0/+210 |
| | |||||
* | SAT solver with dynamic CNF loading. | Alan Mishchenko | 2013-08-01 | 4 | -4/+49 |
| | |||||
* | Experiment with 'pdr'. | Alan Mishchenko | 2013-07-19 | 3 | -0/+63 |
| | |||||
* | Bug fix in the timeout for 'int'. | Alan Mishchenko | 2013-07-01 | 1 | -1/+1 |
| | |||||
* | Adding timeout to the interpolant computation procedure. | Alan Mishchenko | 2013-06-28 | 2 | -2/+19 |
| | |||||
* | Limiting runtime limit checks in 'pdr'. | Alan Mishchenko | 2013-06-21 | 2 | -2/+2 |
| | |||||
* | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 1 | -1/+1 |
| | |||||
* | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 22 | -220/+220 |
| | |||||
* | Changing how often timeout is checked in the SAT solver and several ↵ | Alan Mishchenko | 2013-05-27 | 2 | -2/+2 |
| | | | | application packages. | ||||
* | Counter-example depth minimization. | Alan Mishchenko | 2013-05-22 | 2 | -0/+422 |
| | |||||
* | g++ warnings. | Alan Mishchenko | 2013-05-19 | 1 | -1/+1 |
| | |||||
* | Improvements to 'bmc3'. | Alan Mishchenko | 2013-05-18 | 1 | -158/+11 |
| | |||||
* | SAT variable profiling. | Alan Mishchenko | 2013-05-18 | 1 | -5/+53 |
| | |||||
* | SAT variable profiling. | Alan Mishchenko | 2013-05-18 | 1 | -0/+4 |
| | |||||
* | SAT variable profiling. | Alan Mishchenko | 2013-05-18 | 1 | -0/+1 |
| | |||||
* | SAT variable profiling. | Alan Mishchenko | 2013-05-18 | 1 | -3/+9 |
| | |||||
* | SAT variable profiling. | Alan Mishchenko | 2013-05-18 | 4 | -6/+15 |
| | |||||
* | SAT variable profiling. | Alan Mishchenko | 2013-05-18 | 4 | -3/+28 |
| | |||||
* | SAT variable profiling (undo). | Alan Mishchenko | 2013-05-18 | 3 | -19/+0 |
| | |||||
* | SAT variable profiling. | Alan Mishchenko | 2013-05-18 | 3 | -0/+19 |
| |