| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Set up the same test infrastructure as in Boogie. |  wuestholz | 2014-05-29 |
| * | Added ghost let expressions. | Rustan Leino | 2014-01-05 |
| * | Add support for the :axiom attribute for ghost methods. |  Bryan Parno | 2013-12-13 |
| * | Allow field names to be sequences of digits (this is nice, for example, to de... | Rustan Leino | 2013-07-24 |
| * | Fixed compilation bug where C# keywords were not being escaped | Rustan Leino | 2013-06-25 |
| * | renamed "abstract module" to "module facade" |  Rustan Leino | 2012-10-22 |
| * | Dafny: updated test suite to new syntax | Jason Koenig | 2012-07-30 |
| * | Dafny: compilation of abstract modules, including local definitions (as in mo... | Jason Koenig | 2012-07-17 |
| * | Dafny: added support for co-recursive calls | Rustan Leino | 2012-05-01 |
| * | Dafny: fixed resolution bug for inductive datatypes (previous check did not h... |  Unknown | 2012-04-25 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |