| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Dafny: |  rustanleino | 2010-06-19 |
| * Improved design and implementation of SplitExpr * Fixed some tests in dafny0/Use.dfy * Added test case (in dafny0/Termination.dfy) to test the recent strengthening of set axioms | |||
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |