Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-5981, SI-5979, SI-5973 Closed. Maintenance to Try. | Heather Miller | 2012-07-05 | 1 | -2/+2 |
* | moving patmat to its own phase | Adriaan Moors | 2012-05-02 | 1 | -4/+1 |
* | virtpatmat on by default; chicken out: -Xoldpatmat | Adriaan Moors | 2012-04-14 | 1 | -1/+4 |
* | Restore irrefutability commits. | Paul Phillips | 2012-03-20 | 1 | -0/+37 |
* | Revert irrefutability commits. | Paul Phillips | 2012-03-20 | 1 | -37/+0 |
* | Spiced up the irrefutability tests a bit. | Paul Phillips | 2012-03-19 | 1 | -7/+14 |
* | Finally did something about broken irrefutability. | Paul Phillips | 2012-03-19 | 1 | -0/+30 |