Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Renamed "parallel" statement to "forall" statement, and made the parentheses ↵ | 2013-03-06 | ||
| | | | | around the bound variables optional. | |||
* | Added Equals method on Type | 2013-02-20 | ||
| | | | | | Fixed some precondition violations Various improvements in Contracts | |||
* | First take on calc expressions. | 2013-02-14 | ||
| | ||||
* | Added parsing and resolution of a new let-such-that expression. Translation ↵ | 2013-01-21 | ||
| | | | | has yet to be implemented. | |||
* | Removed the syntactic form copredicate #-form with the implicit argument. | 2013-01-16 | ||
| | | | | Added syntactic support for codatatype #-form equalities. | |||
* | renamed "abstract module" to "module facade" | 2012-10-22 | ||
| | | | | renamed "ghost module" to "abstract module", adding a keyword "abstract" | |||
* | improved and fixed compilation and resolution of assign-such-that statements | 2012-10-05 | ||
| | ||||
* | Put all sources under \Source directory | 2012-10-04 | ||