Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |