Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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. | ||
* | Preliminary refactoring of ghost-statement computations to after type checking | leino | 2015-09-20 |
| | |||
* | Make sure to check that subrange types are not used as type parameters | leino | 2015-01-23 |
| | |||
* | Fixed resolution of method calls with explicit type parameters. | leino | 2015-01-02 |
| | | | | Finished refactoring of the recent name segments changes. | ||
* | Snapshot, to be continued | leino | 2014-12-02 |
| | |||
* | Fixed type-inference bug that could create cycles in proxy type graph | leino | 2014-10-28 |
| | |||
* | Fixed bug Issue 37: expand type synonyms in more (hopefully all) places in ↵ | leino | 2014-08-02 |
| | | | | the resolver and translator | ||
* | 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 |