Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Beefed up assign/let-such-that to generate possible witnesses for ↵ | 2013-03-25 | |
| | | | | | | | set/multiset/sequence/map display expressions Run SmallTests.dfy and LetExpr.dfy only once in the test suite Fixed some translation bugs (and a pretty-printing bug) for map display expressions | ||
* | Finished support for ==# in calc, changed Paulson example to use it. | 2013-03-20 | |
| | |||
* | Added the <== operator. | 2013-03-14 | |
| | |||
* | Renamed "parallel" statement to "forall" statement, and made the parentheses ↵ | 2013-03-06 | |
| | | | | around the bound variables optional. | ||
* | Pretty print the new parentheses-less "if" and "while" statements as such. | 2013-02-21 | |
| | |||
* | 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. | ||
* | Added some co- test cases. Fixed some bugs. | 2013-01-20 | |
| | |||
* | Create prefix methods during resolution, not translation. | 2013-01-18 | |
| | | | | NOTE: The test suite does not pass right now. Will be fixed soon. | ||
* | Some additional resolution checks for co stuff. | 2013-01-18 | |
| | | | | Beefed up some test cases. | ||
* | Removed the syntactic form copredicate #-form with the implicit argument. | 2013-01-16 | |
| | | | | Added syntactic support for codatatype #-form equalities. | ||
* | Corrected pretty printing of 'comethod' | 2012-11-25 | |
| | |||
* | Parse prefix predicates/methods | 2012-11-24 | |
| | |||
* | renamed "abstract module" to "module facade" | 2012-10-22 | |
| | | | | renamed "ghost module" to "abstract module", adding a keyword "abstract" | ||
* | Support default (which, here, means nameless) class-instance constructors | 2012-10-05 | |
| | |||
* | Hover text for iterator declarations (and not for the methods they generate) | 2012-10-04 | |
| | |||
* | Put all sources under \Source directory | 2012-10-04 | |