Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix issue #72. Add the constructor questionmark to a function's axiom if the | 2015-04-24 | |
function has a MemberSelectExpr that accesses a type with only one constructor. |
![]() |
index : debian-dafny | |
Debian packaging for Dafny |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix issue #72. Add the constructor questionmark to a function's axiom if the | 2015-04-24 | |
function has a MemberSelectExpr that accesses a type with only one constructor. |