| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Cull extraneous whitespace. | Paul Phillips | 2013-09-18 | 1 | -1/+1 |
| * | SI-7669 Fix exhaustivity warnings for recursive ADTs. | Jason Zaugg | 2013-07-17 | 1 | -1/+1 |
| * | Exhaustivity: TreeMakers as boolean propositions | Adriaan Moors | 2012-05-22 | 1 | -5/+21 |
| * | Begone t1737... | Hubert Plociniczak | 2011-11-02 | 1 | -4/+4 |
| * | Improves exhaustiveness analysis to not warn ab... | Paul Phillips | 2010-10-05 | 1 | -1/+6 |
| * | Massively simplified the exhaustiveness checker... | Paul Phillips | 2010-10-05 | 1 | -0/+40 |
 |
index : scala | |
| The Scala programming language |
| summaryrefslogtreecommitdiff |