Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-7746 patmat: fix non-determinism, infeasible counter examples | Gerard Basler | 2014-10-05 | 1 | -0/+1 |
* | SI-7003 Partest redirects stderr to log file | Som Snytt | 2013-05-25 | 1 | -1/+0 |
* | virtpatmat on by default; chicken out: -Xoldpatmat | Adriaan Moors | 2012-04-14 | 1 | -1/+1 |
* | [vpm] common sub-expression elimination for conditions | Adriaan Moors | 2011-12-24 | 1 | -0/+1 |