| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Make reveal axioms from opaque functions quantify over layers |  Dan Rosén | 2014-07-10 |
| | | |||
| * | New logical encoding of types with Is and IsAlloc | Dan Rosén | 2014-07-07 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |