Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix issue #72. Add the constructor questionmark to a function's axiom if the | qunyanm | 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 | qunyanm | 2015-04-24 |
function has a MemberSelectExpr that accesses a type with only one constructor. |