summaryrefslogtreecommitdiffstats
path: root/src/proof/pdr/pdrInv.c
Commit message (Expand)AuthorAgeFilesLines
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-3/+3
* Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).Alan Mishchenko2013-05-031-0/+2
* 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