summaryrefslogtreecommitdiffstats
path: root/src/sat/pdr/pdr.h
Commit message (Expand)AuthorAgeFilesLines
* Added switch to PDR to disable expensive generalization step.Alan Mishchenko2011-07-131-0/+1
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-071-1/+1
* Make PDR return the number of completed frames.Alan Mishchenko2011-02-031-0/+1
* New code since Dec 2010.Alan Mishchenko2011-01-131-0/+77