| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Renamed "parallel" statement to "forall" statement, and made the parentheses ... |  Rustan Leino | 2013-03-06 |
| * | Added Equals method on Type | Rustan Leino | 2013-02-20 |
| * | First take on calc expressions. |  Nadia Polikarpova | 2013-02-14 |
| * | Added parsing and resolution of a new let-such-that expression. Translation h... |  Rustan Leino | 2013-01-21 |
| * | Removed the syntactic form copredicate #-form with the implicit argument. | Rustan Leino | 2013-01-16 |
| * | renamed "abstract module" to "module facade" | Rustan Leino | 2012-10-22 |
| * | improved and fixed compilation and resolution of assign-such-that statements | Rustan Leino | 2012-10-05 |
| * | Put all sources under \Source directory | Rustan Leino | 2012-10-04 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |