| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Dafny: disallow changes of datatypes in refinements |  Rustan Leino | 2012-01-09 |
| * | Dafny: finished refinement cloning transformations | Rustan Leino | 2012-01-07 |
| * | Dafny: filled in more cloning for the refinement transformations | Rustan Leino | 2012-01-06 |
| * | Dafny: fully qualify (with module names) names of types in the translation in... | Rustan Leino | 2012-01-05 |
| * | Dafny: beginning of the new refinement transformations | Rustan Leino | 2012-01-05 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |