| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Don't expand {:opaque} for inherited functions. (Note, more design is still ... |  Rustan Leino | 2013-12-17 |
| * | Don't inline opaque functions. | Rustan Leino | 2013-12-17 |
| * | Make functions and predicates be opaque outside the defining module -- only t... | Rustan Leino | 2013-07-29 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |