summaryrefslogtreecommitdiffstats
path: root/src/proof/pdr/pdrInv.c
Commit message (Expand)AuthorAgeFilesLines
* Updating 'pdr' to report the number of failed POs.Alan Mishchenko2013-03-301-0/+2
* Adding flushing stdout after printing verbose stats.Alan Mishchenko2012-07-071-0/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Making 'pdr', &gla, &vta print correctly in batch mode.Alan Mishchenko2012-07-071-1/+3
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-1/+1
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-1/+2
* Redirecting printf messages.Alan Mishchenko2012-03-021-2/+2
* Redirecting printf messages.Alan Mishchenko2012-03-021-15/+15
* Added restarts to PDR.Alan Mishchenko2012-02-131-14/+8
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+374