Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Dafny: in compiler, respect C#'s different scoping rules and lack of support ... | 2012-06-14 | |
* | Dafny: Recheck specifications that contain refined (extended) predicates, eve... | 2012-01-16 | |
* | Dafny: handle refinement of nested tokens that come from SpliExpr (still need... | 2012-01-12 | |
* | Dafny: allow class-member declarations at top level of any module (not just t... | 2012-01-10 | |
* | Dafny: added test case for refinement and predicates (and fixed a parsing bug) | 2012-01-10 | |
* | Dafny: added predicates | 2012-01-10 |