| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Dafny: allow signatures to be omitted on refining functions/methods |  Unknown | 2012-02-16 |
| * | Dafny: improved error location for violations of function postconditions |  Rustan Leino | 2012-01-18 |
| * | Dafny: allow a refinement to provide a function/method body if the function/m... | Rustan Leino | 2012-01-18 |
| * | Dafny: added signature checking to refinement | Rustan Leino | 2012-01-17 |
| * | Dafny: allow class-member declarations at top level of any module (not just t... | Rustan Leino | 2012-01-10 |
| * | Dafny: added test case for refinement and predicates (and fixed a parsing bug) | Rustan Leino | 2012-01-10 |
| * | Dafny: added support for simple superposition refinements | Rustan Leino | 2012-01-09 |
| * | Dafny: added assertions in the refinement obligation necessitating that the r... |  kyessenov | 2010-07-03 |
| * | Dafny: Support class type parameters in refinements. Added another regression... | kyessenov | 2010-07-02 |
| * | Dafny: added Carrol Morgan's calculator regression test. | kyessenov | 2010-07-02 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |