| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| * | 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 | 5 | -11/+11 |
| * | 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 |
| * | 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 | 2 | -0/+15 |
| * | 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 | 7 | -76/+76 |
| * | Counter-example depth minimization. | Alan Mishchenko | 2013-05-22 | 2 | -0/+422 |
| * | 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 | 2 | -2/+11 |
| * | SAT variable profiling. | Alan Mishchenko | 2013-05-18 | 1 | -0/+1 |
| * | SAT variable profiling (undo). | Alan Mishchenko | 2013-05-18 | 1 | -3/+0 |
| * | SAT variable profiling. | Alan Mishchenko | 2013-05-18 | 1 | -0/+3 |
| * | SAT variable profiling (undo). | Alan Mishchenko | 2013-05-18 | 1 | -3/+0 |
| * | SAT variable profiling. | Alan Mishchenko | 2013-05-18 | 1 | -0/+3 |
| * | Changing per-output runtime limit to be in miliseconds. | Alan Mishchenko | 2013-05-09 | 1 | -2/+2 |
| * | Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>). | Alan Mishchenko | 2013-05-03 | 1 | -1/+3 |
| * | Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>). | Alan Mishchenko | 2013-05-03 | 2 | -10/+45 |
| * | Adding callback to bmc3, sim3, pdr in the multi-output mode. | Alan Mishchenko | 2013-04-17 | 2 | -8/+14 |
| * | Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode. | Alan Mishchenko | 2013-04-09 | 2 | -13/+34 |
| * | Updating bmc3 printout to show the number of failed outputs. | Alan Mishchenko | 2013-03-30 | 1 | -14/+12 |
| * | Updating bmc3 printout to show the number of failed outputs. | Alan Mishchenko | 2013-03-30 | 1 | -5/+11 |
| * | Compiler warnings. | Alan Mishchenko | 2013-03-30 | 1 | -3/+3 |
| * | Updating bmc3 printout to show the number of failed outputs. | Alan Mishchenko | 2013-03-30 | 1 | -4/+6 |
| * | Fixing gap timeout in 'bmc3'. | Alan Mishchenko | 2013-03-13 | 1 | -6/+40 |
| * | Making 'bmc3' with switch '-a' not save CEXes. | Alan Mishchenko | 2013-03-07 | 1 | -13/+13 |
| * | User-controlable SAT sweeper and other small changes. | Alan Mishchenko | 2013-02-27 | 1 | -2/+1 |
| * | Compiler warnings. | Alan Mishchenko | 2013-02-21 | 1 | -3/+3 |
| * | Added 'gap timeout' to bmc3 and sim3. | Alan Mishchenko | 2013-02-16 | 1 | -0/+1 |
| * | Added 'gap timeout' to bmc3 and sim3. | Alan Mishchenko | 2013-02-15 | 2 | -0/+12 |
| * | Enabled detecting CEXes in multiple POs without stopping (sim3 -a). | Alan Mishchenko | 2013-01-23 | 2 | -4/+8 |
| * | New unrolling manager. | Alan Mishchenko | 2012-12-24 | 2 | -1/+457 |
