summaryrefslogtreecommitdiffstats
path: root/src/sat/pdr
Commit message (Expand)AuthorAgeFilesLines
* Dump last frame clauses with 'pdr -d' even if the problem is SAT or undecided.Alan Mishchenko2011-11-123-7/+17
* Corner-case bug in PDR.Alan Mishchenko2011-11-112-2/+9
* Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.Alan Mishchenko2011-10-311-3/+3
* Added handling of exceeding conflict limit in PushClasses.Alan Mishchenko2011-10-011-3/+15
* Changing the ordering of arguments in two iterators.Alan Mishchenko2011-08-012-15/+15
* Removed useless typecasts related to changes in Vec_VecEntry().Alan Mishchenko2011-08-011-2/+2
* Added switch to PDR to disable expensive generalization step.Alan Mishchenko2011-07-132-66/+71
* Modified the PDR print-out to be compatible with Niklas.Alan Mishchenko2011-07-121-3/+3
* Added printout of flop names in the PLA file representing the invariant.Alan Mishchenko2011-07-111-0/+16
* The cube in PDR can have more than 2^15 literals.Alan Mishchenko2011-06-272-4/+4
* Improvements to timeout.Alan Mishchenko2011-05-111-0/+2
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-0710-37/+243
* Improvements in Vec_Vec_t.Alan Mishchenko2011-03-272-3/+3
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-2/+1
* Changes to enable C++ compilation after recent modifications.Alan Mishchenko2011-02-132-3/+3
* Make PDR return the number of completed frames.Alan Mishchenko2011-02-032-0/+8
* New code since Dec 2010.Alan Mishchenko2011-01-1312-0/+3483