| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Dafny: parallel statements: |  Rustan Leino | 2012-01-17 |
| * | Dafny induction: | Rustan Leino | 2011-10-29 |
| * | Dafny: implemented compilation of parallel statements | Rustan Leino | 2011-10-25 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |