| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Dafny: Recheck specifications that contain refined (extended) predicates, eve... |  Rustan Leino | 2012-01-16 |
| * | Dafny: handle refinement of nested tokens that come from SpliExpr (still need... | Rustan Leino | 2012-01-12 |
| * | 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 predicates | Rustan Leino | 2012-01-10 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |