| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Dafny: |  Rustan Leino | 2011-05-26 | |
| * | Dafny: retired the "call" keyword | Rustan Leino | 2011-05-26 | |
| * | Dafny: allow class names to be used when referring to static functions (and, ... | Rustan Leino | 2011-05-21 | |
| * | Cleaner version of ghost loop termination example. |  Unknown | 2011-05-13 | |
| * | Dafny: fixed bugs in resolution of multi-dimensional arrays | Rustan Leino | 2011-05-12 | |
| * | Dafny: forbid "decreases *" on ghost loops | Rustan Leino | 2011-05-12 | |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |