Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Exhaustivity: TreeMakers as boolean propositions | Adriaan Moors | 2012-05-22 | 1 | -1/+1 |
* | virtpatmat on by default; chicken out: -Xoldpatmat | Adriaan Moors | 2012-04-14 | 1 | -1/+1 |
* | Renamed tests named bugXXX to tXXX, no review. | Paul Phillips | 2011-08-24 | 1 | -0/+1 |