Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 1 | -3/+3 |
* | Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>). | Alan Mishchenko | 2013-05-03 | 1 | -0/+2 |
* | Updating 'pdr' to report the number of failed POs. | Alan Mishchenko | 2013-03-30 | 1 | -0/+2 |
* | Adding flushing stdout after printing verbose stats. | Alan Mishchenko | 2012-07-07 | 1 | -0/+1 |
* | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 1 | -2/+2 |
* | Making 'pdr', &gla, &vta print correctly in batch mode. | Alan Mishchenko | 2012-07-07 | 1 | -1/+3 |
* | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 1 | -1/+1 |
* | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 1 | -1/+2 |
* | Redirecting printf messages. | Alan Mishchenko | 2012-03-02 | 1 | -2/+2 |
* | Redirecting printf messages. | Alan Mishchenko | 2012-03-02 | 1 | -15/+15 |
* | Added restarts to PDR. | Alan Mishchenko | 2012-02-13 | 1 | -14/+8 |
* | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 1 | -0/+374 |