Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc. | Alan Mishchenko | 2011-10-31 | 2 | -6/+7 |
* | New abstraction code. | Alan Mishchenko | 2011-10-15 | 1 | -0/+2 |
* | Added handling of exceeding conflict limit in PushClasses. | Alan Mishchenko | 2011-10-01 | 1 | -3/+15 |
* | Changing the ordering of arguments in two iterators. | Alan Mishchenko | 2011-08-01 | 2 | -15/+15 |
* | Removed useless typecasts related to changes in Vec_VecEntry(). | Alan Mishchenko | 2011-08-01 | 1 | -2/+2 |
* | Reduced default growth rate of vectors in the SAT solver. | Alan Mishchenko | 2011-07-13 | 1 | -2/+4 |
* | Added switch to PDR to disable expensive generalization step. | Alan Mishchenko | 2011-07-13 | 2 | -66/+71 |
* | Modified the PDR print-out to be compatible with Niklas. | Alan Mishchenko | 2011-07-12 | 1 | -3/+3 |
* | Added printout of flop names in the PLA file representing the invariant. | Alan Mishchenko | 2011-07-11 | 1 | -0/+16 |
* | The cube in PDR can have more than 2^15 literals. | Alan Mishchenko | 2011-06-27 | 2 | -4/+4 |
* | Improvements to timeout. | Alan Mishchenko | 2011-05-11 | 1 | -0/+2 |
* | Adding SAT-solver-level timeouts to the BMC engines. | Alan Mishchenko | 2011-04-08 | 2 | -1/+9 |
* | Unsuccessful attempt to improve PDR and a few minor changes. | Alan Mishchenko | 2011-04-07 | 10 | -37/+243 |
* | Added test package (new files). | Alan Mishchenko | 2011-03-29 | 1 | -0/+5 |
* | Improvements in Vec_Vec_t. | Alan Mishchenko | 2011-03-27 | 2 | -3/+3 |
* | Made abc.h independent of CUDD and Extra. | Alan Mishchenko | 2011-03-03 | 1 | -13/+13 |
* | Unified the use of counter-examples in three packages. | Alan Mishchenko | 2011-02-13 | 1 | -2/+1 |
* | Changes to enable C++ compilation after recent modifications. | Alan Mishchenko | 2011-02-13 | 2 | -3/+3 |
* | Make PDR return the number of completed frames. | Alan Mishchenko | 2011-02-03 | 2 | -0/+8 |
* | New code since Dec 2010. | Alan Mishchenko | 2011-01-13 | 12 | -0/+3483 |
* | Cumulative changes in the last few weeks. | Alan Mishchenko | 2011-01-13 | 2 | -39/+152 |
* | Initial implementation of AnalyseFinal | Alan Mishchenko | 2010-12-03 | 2 | -1/+9 |
* | Adding missing license agreements | Alan Mishchenko | 2010-11-29 | 1 | -0/+21 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 58 | -240/+3972 |
* | Version abc90408 | Alan Mishchenko | 2009-04-08 | 7 | -11/+7 |
* | Version abc90310 | Alan Mishchenko | 2009-03-10 | 1 | -0/+1 |
* | Version abc90215 | Alan Mishchenko | 2009-02-15 | 39 | -548/+481 |
* | Version abc90118 | Alan Mishchenko | 2009-01-18 | 2 | -12/+140 |
* | Version abc81029 | Alan Mishchenko | 2008-10-29 | 1 | -0/+8 |
* | Version abc81013 | Alan Mishchenko | 2008-10-13 | 1 | -2/+57 |
* | Version abc81004 | Alan Mishchenko | 2008-10-04 | 6 | -27/+2548 |
* | Version abc80927 | Alan Mishchenko | 2008-09-27 | 2 | -1/+1049 |
* | Version abc80921 | Alan Mishchenko | 2008-09-21 | 1 | -36/+32 |
* | Version abc80919 | Alan Mishchenko | 2008-09-19 | 1 | -3/+33 |
* | Version abc80725 | Alan Mishchenko | 2008-07-25 | 2 | -1/+17 |
* | Version abc80719 | Alan Mishchenko | 2008-07-19 | 3 | -13/+32 |
* | Version abc80718 | Alan Mishchenko | 2008-07-18 | 4 | -1/+50 |
* | Version abc80717 | Alan Mishchenko | 2008-07-17 | 7 | -3/+1107 |
* | Version abc80702 | Alan Mishchenko | 2008-07-02 | 7 | -15/+13 |
* | Version abc80515 | Alan Mishchenko | 2008-05-15 | 1 | -1/+1 |
* | Version abc80511 | Alan Mishchenko | 2008-05-11 | 1 | -1/+1 |
* | Version abc80510 | Alan Mishchenko | 2008-05-10 | 1 | -1/+3 |
* | Version abc80403 | Alan Mishchenko | 2008-04-03 | 1 | -0/+1 |
* | Version abc80402 | Alan Mishchenko | 2008-04-02 | 1 | -8/+26 |
* | Version abc80315 | Alan Mishchenko | 2008-03-15 | 1 | -1/+1 |
* | Version abc80313 | Alan Mishchenko | 2008-03-13 | 2 | -0/+32 |
* | Version abc80307_2 | Alan Mishchenko | 2008-03-07 | 1 | -0/+1 |
* | Version abc80307 | Alan Mishchenko | 2008-03-07 | 2 | -0/+894 |
* | Version abc80301 | Alan Mishchenko | 2008-03-01 | 3 | -8/+10 |
* | Version abc80208 | Alan Mishchenko | 2008-02-08 | 2 | -0/+27 |