Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-7746 patmat: fix non-determinism, infeasible counter examples | Gerard Basler | 2014-10-05 | 1 | -6/+6 |
* | SI-8430 Less non-determinism in patmat exhautiveness warnings | Jason Zaugg | 2014-03-24 | 1 | -0/+27 |
index : scala | ||
The Scala programming language |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-7746 patmat: fix non-determinism, infeasible counter examples | Gerard Basler | 2014-10-05 | 1 | -6/+6 |
* | SI-8430 Less non-determinism in patmat exhautiveness warnings | Jason Zaugg | 2014-03-24 | 1 | -0/+27 |