| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Tests for optimizing val patterns | Lukas Rytz | 2016-02-16 | 1 | -13/+46 |
| * | Merge pull request #4920 from lrytz/oldOptimizerTests | Lukas Rytz | 2016-02-03 | 1 | -0/+25 |
| |\ | |||||
| | * | Re-write and Re-enable optimizer tests | Lukas Rytz | 2016-02-03 | 1 | -0/+25 |
| * | | SI-9398 Treat case classes as one-element ADTs for analysis | Jason Zaugg | 2016-01-29 | 1 | -1/+1 |
| |/ | |||||
| * | Rewrite test: no local for underscore | Lukas Rytz | 2016-01-25 | 1 | -0/+19 |
| * | Rewrite test: no null in patmat | Lukas Rytz | 2016-01-25 | 1 | -0/+13 |
| * | Rewrite test: no type test on primitives in patmat | Lukas Rytz | 2016-01-25 | 1 | -0/+19 |
| * | Rewrite test for SI-6955 | Lukas Rytz | 2016-01-25 | 1 | -0/+28 |
| * | Rewrite test for SI-6956 | Lukas Rytz | 2016-01-25 | 1 | -0/+58 |
| * | Patmat: efficient reasoning about mutual exclusion | Gerard Basler | 2015-04-06 | 1 | -3/+55 |
| * | Add a check to ensure that if the formulas originating from the exhaustivity / | Gerard Basler | 2015-03-02 | 1 | -0/+3 |
| * | Add unit tests for Tseitin CNF conversion. | Gerard Basler | 2014-12-29 | 1 | -0/+555 |
 |
index : scala | |
| The Scala programming language |
| summaryrefslogtreecommitdiff |