| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Compiler warning. | Alan Mishchenko | 2013-10-05 | 1 | -69/+5 |
| * | Compiler warning. | Alan Mishchenko | 2013-10-05 | 1 | -1/+1 |
| * | Added 'abort' message in bridge mode for pdr -a timeout | Niklas Een | 2013-10-04 | 1 | -34/+95 |
| * | Changing switch -R <num> in &gla to mean the max allowed size of abstraction.... | Alan Mishchenko | 2013-09-23 | 2 | -9/+10 |
| * | Adding resource limit to stop &gla when the number of remaining objects is le... | Alan Mishchenko | 2013-09-21 | 1 | -0/+8 |
| * | Adding switch to enable reuse of proof-obligations in the last timeframe. | Alan Mishchenko | 2013-09-16 | 2 | -1/+2 |
| * | Added bridge integration for multi-output 'pdr -a'. | Alan Mishchenko | 2013-09-16 | 2 | -3/+18 |
| * | Bug fix in PDR. | Alan Mishchenko | 2013-09-16 | 1 | -1/+1 |
| * | Fixing return value of 'pdr -a'. | Alan Mishchenko | 2013-09-15 | 1 | -1/+5 |
| * | Handling the case when all outputs are undecided in 'pdr -a' with per-output ... | Alan Mishchenko | 2013-09-14 | 2 | -6/+3 |
| * | Fixing several bugs, which led to unsound results produced by 'pdr -a' with p... | Alan Mishchenko | 2013-09-13 | 3 | -4/+15 |
| * | Enabling additional printouts in 'pdr'. | Alan Mishchenko | 2013-09-13 | 1 | -2/+4 |
| * | New API to return the set of all reachable states as an AIG. | Alan Mishchenko | 2013-09-10 | 1 | -1/+93 |
| * | Unifying parameters for the &ps command. | Alan Mishchenko | 2013-09-05 | 4 | -11/+11 |
| * | Adding procedures to specify permutations with unused flops. | Alan Mishchenko | 2013-08-28 | 1 | -3/+12 |
| * | Added switch &sim -g to enable flop grouping. | Alan Mishchenko | 2013-08-20 | 2 | -1/+38 |
| * | Experiment with 'pdr'. | Alan Mishchenko | 2013-07-19 | 3 | -34/+126 |
| * | Small data-structure improvements in 'pdr'. | Alan Mishchenko | 2013-07-19 | 3 | -25/+33 |
| * | Adding timeout to AIG rewriting inside 'int'. | Alan Mishchenko | 2013-07-08 | 1 | -2/+0 |
| * | Adding timeout to AIG rewriting inside 'int'. | Alan Mishchenko | 2013-07-07 | 1 | -0/+12 |
| * | Adding timeout to the interpolant computation procedure. | Alan Mishchenko | 2013-06-28 | 1 | -1/+3 |
| * | Unifying representation of mapping in GIA. | Alan Mishchenko | 2013-06-25 | 2 | -2/+2 |
| * | Improving CEC (command 'dcec') by integrating XOR balancing. | Alan Mishchenko | 2013-06-25 | 1 | -1/+1 |
| * | Improving CEC (command 'dcec') by integrating XOR balancing. | Alan Mishchenko | 2013-06-25 | 1 | -0/+35 |
| * | Performance improvements in 'pdr'. | Alan Mishchenko | 2013-06-18 | 2 | -4/+10 |
| * | Bug fixes in the implementation of varius resource limits in 'pdr'. | Alan Mishchenko | 2013-06-18 | 1 | -7/+18 |
| * | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 102 | -1090/+1090 |
| * | Changing how often timeout is checked in the SAT solver and several applicati... | Alan Mishchenko | 2013-05-27 | 2 | -1/+19 |
| * | g++ warnings. | Alan Mishchenko | 2013-05-19 | 2 | -2/+2 |
| * | Potential improvement to &scorr. | Alan Mishchenko | 2013-05-18 | 1 | -0/+72 |
| * | Fixed gap timeout in 'pdr'. | Alan Mishchenko | 2013-05-18 | 1 | -0/+4 |
| * | Adding new command &mprove for proving groups of properties. | Alan Mishchenko | 2013-05-17 | 3 | -12/+15 |
| * | Bug fix in the timeout mechanism of 'pdr'. | Alan Mishchenko | 2013-05-17 | 1 | -2/+2 |
| * | SAT sweeping under constraints (bug fix). | Alan Mishchenko | 2013-05-12 | 1 | -0/+3 |
| * | Changing per-output runtime limit to be in miliseconds. | Alan Mishchenko | 2013-05-09 | 2 | -2/+2 |
| * | Bug fix in the sweeper. | Alan Mishchenko | 2013-05-08 | 1 | -1/+3 |
| * | SAT sweeping under constraints (bug fix). | Alan Mishchenko | 2013-05-07 | 1 | -1/+3 |
| * | SAT sweeping under constraints. | Alan Mishchenko | 2013-05-06 | 4 | -22/+200 |
| * | Integration of the liveness property prover developed by Sayak Ray. | Alan Mishchenko | 2013-05-05 | 7 | -1/+3276 |
| * | C++ compiler errors. | Alan Mishchenko | 2013-05-04 | 1 | -1/+1 |
| * | Making changes suggested by Mark Jarvin. | Alan Mishchenko | 2013-05-04 | 1 | -6/+1 |
| * | Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>). | Alan Mishchenko | 2013-05-03 | 5 | -4/+72 |
| * | SAT sweeping under constraints. | Alan Mishchenko | 2013-04-28 | 4 | -14/+64 |
| * | Added option 'int -I <filename>' to specify file names to dump invariants. | Alan Mishchenko | 2013-04-28 | 3 | -3/+7 |
| * | Compiler warnings. | Alan Mishchenko | 2013-04-28 | 1 | -2/+2 |
| * | SAT sweeping under constraints. | Alan Mishchenko | 2013-04-28 | 4 | -1/+120 |
| * | SAT sweeping under constraints. | Alan Mishchenko | 2013-04-27 | 5 | -37/+95 |
| * | SAT sweeping under constraints. | Alan Mishchenko | 2013-04-27 | 5 | -111/+518 |
| * | New fast extract. | Alan Mishchenko | 2013-04-27 | 2 | -121/+0 |
| * | Adding rollback for the other solver. | Alan Mishchenko | 2013-04-25 | 1 | -1/+1 |
