summaryrefslogtreecommitdiffstats
path: root/src/sat/pdr/pdrCore.c
Commit message (Expand)AuthorAgeFilesLines
* 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-131-66/+70
* Modified the PDR print-out to be compatible with Niklas.Alan Mishchenko2011-07-121-3/+3
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-071-1/+1
* Improvements in Vec_Vec_t.Alan Mishchenko2011-03-271-2/+2
* Make PDR return the number of completed frames.Alan Mishchenko2011-02-031-0/+7
* New code since Dec 2010.Alan Mishchenko2011-01-131-0/+692