| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |
* | Dump last frame clauses with 'pdr -d' even if the problem is SAT or undecided. | Alan Mishchenko | 2011-11-12 | 3 | -7/+17 |
* | Bug fix in GLA PBA. | Alan Mishchenko | 2011-11-12 | 2 | -5/+19 |
* | Enabled counter-example minimization in 'write_counter'. | Alan Mishchenko | 2011-11-11 | 6 | -11/+62 |
* | Corner-case bug in PDR. | Alan Mishchenko | 2011-11-11 | 2 | -2/+9 |
* | Removing restruction on the number of LUT inputs. | Alan Mishchenko | 2011-11-10 | 1 | -2/+2 |
* | Bug fix in GLA PBA (unfinished). | Alan Mishchenko | 2011-11-09 | 2 | -3/+6 |
* | Preventing scripts from aborting if reading has failed. | Alan Mishchenko | 2011-11-08 | 1 | -1/+1 |
* | Corner case bug in deriving truth table from SOP. | Alan Mishchenko | 2011-11-08 | 1 | -1/+1 |
* | Changing defaults in gate-level abstraction. | Alan Mishchenko | 2011-11-06 | 1 | -5/+6 |
* | Trying to add BMC to random simulation. | Alan Mishchenko | 2011-11-06 | 1 | -1/+1 |
* | Changes to read multi-output testcases described using AIGER 1.9. | Alan Mishchenko | 2011-11-06 | 12 | -66/+427 |
* | Experiments with variable permutation. | Alan Mishchenko | 2011-11-06 | 1 | -20/+53 |
* | Trying to add BMC to random simulation. | Alan Mishchenko | 2011-11-06 | 3 | -0/+55 |
* | Experiments with variable permutation. | Alan Mishchenko | 2011-11-06 | 1 | -2/+2 |
* | Experiments with variable permutation. | Alan Mishchenko | 2011-11-06 | 1 | -1/+55 |
* | Temporarily added new runtime computation procedures. | Alan Mishchenko | 2011-11-03 | 1 | -10/+43 |
* | Fixed &reachy to perform reparametrization in case reachability is disabled. | Alan Mishchenko | 2011-11-03 | 1 | -2/+2 |
* | Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc. | Alan Mishchenko | 2011-10-31 | 3 | -12/+12 |
* | Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc. | Alan Mishchenko | 2011-10-31 | 22 | -62/+78 |
* | C++ portability changes. | Alan Mishchenko | 2011-10-27 | 7 | -11/+15 |
* | Improvements to the new abstraction code. | Alan Mishchenko | 2011-10-27 | 1 | -47/+62 |
* | Removed some recently added file, which broke compilation. | Alan Mishchenko | 2011-10-27 | 1 | -1/+0 |
* | Improvements to the new abstraction code. | Alan Mishchenko | 2011-10-27 | 1 | -2/+2 |
* | Improvements to the new abstraction code. | Alan Mishchenko | 2011-10-27 | 4 | -86/+159 |
* | New proof-based abstraction code (bug fix). | Alan Mishchenko | 2011-10-27 | 2 | -6/+54 |
* | New truth table permutation procedure. | Alan Mishchenko | 2011-10-26 | 3 | -0/+306 |
* | New proof-based abstraction code. | Alan Mishchenko | 2011-10-25 | 7 | -64/+747 |
* | Improvements to the QBF solver. | Alan Mishchenko | 2011-10-25 | 3 | -9/+38 |
* | The result of merging with recent PyABC changes. | Alan Mishchenko | 2011-10-25 | 16 | -450/+5206 |
|\ |
|
| * | pyabc: minor changes for compeition | Baruch Sterin | 2011-10-24 | 2 | -3/+8 |
| * | pyabc: add additional scripts for HWMCC11 competition | Baruch Sterin | 2011-10-24 | 3 | -2/+29 |
| * | pyabc: updated Bob's scripts | Baruch Sterin | 2011-10-24 | 5 | -395/+5125 |
| * | pyabc: rearrange files and locations | Baruch Sterin | 2011-10-24 | 4 | -5/+6 |
| * | pyabc: fix command line parser in reachx_cmx.py and abcpy_test.py | Baruch Sterin | 2011-10-24 | 2 | -16/+3 |
| * | pyabc: fix callbacks into python to work correctly by moving to PyGILEState_E... | Baruch Sterin | 2011-09-29 | 1 | -17/+23 |
| * | completely silence the "source" command when the -s option is given | Baruch Sterin | 2011-10-24 | 1 | -1/+1 |
| * | pyabc: fix indentation in pyabc.i | Baruch Sterin | 2011-10-24 | 1 | -12/+12 |
| * | Makefile: current LIBS line has a lot of unnecessary and problematic stuff. R... | Baruch Sterin | 2011-10-24 | 1 | -1/+1 |
* | | Improvements to the QBF solver. | Alan Mishchenko | 2011-10-24 | 3 | -10/+59 |
|/ |
|
* | New abstraction code (bug fix). | Alan Mishchenko | 2011-10-23 | 1 | -0/+1 |
* | New abstraction code. | Alan Mishchenko | 2011-10-19 | 2 | -5/+20 |
* | New abstraction code. | Alan Mishchenko | 2011-10-19 | 3 | -12/+13 |
* | New abstraction code. | Alan Mishchenko | 2011-10-19 | 5 | -18/+159 |
* | Skip NULL entry when freeing vector of vectors. | Alan Mishchenko | 2011-10-19 | 1 | -1/+1 |
* | Changes to CNF generation code. | Alan Mishchenko | 2011-10-19 | 2 | -16/+33 |
* | Changes to CNF generation code. | Alan Mishchenko | 2011-10-19 | 3 | -265/+178 |
* | Changes to CNF generation code. | Alan Mishchenko | 2011-10-17 | 7 | -18/+839 |
* | New abstraction code. | Alan Mishchenko | 2011-10-15 | 9 | -264/+535 |