| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fix issue 91 - Change how we compute the bounds of quantified variables so that |  qunyanm | 2015-10-29 |
| | | | | | it does not depend on the order they appeared. | ||
| * | Changed computation of ghosts until pass 2 of resolution. | leino | 2015-09-28 |
| | | | | | | | | Other clean-up in resolution passes, like: Include everything of type "char" into bounds that are discovered, and likewise for reference types. Allow more set comprehensions, determining if they are finite based on their argument type. Changed CalcExpr.SubExpressions to not include computed expressions. | ||
| * | Fixed issues with absolute file names in the expected output for the lit tests. | wuestholz | 2014-06-04 |
| | | |||
| * | Set up the same test infrastructure as in Boogie. | wuestholz | 2014-05-29 |
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |