Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Renamed "parallel" statement to "forall" statement, and made the parentheses ... | Rustan Leino | 2013-03-06 | |
* | Added Equals method on Type | Rustan Leino | 2013-02-20 | |
* | First take on calc expressions. | Nadia Polikarpova | 2013-02-14 | |
* | Added parsing and resolution of a new let-such-that expression. Translation h... | Rustan Leino | 2013-01-21 | |
* | Removed the syntactic form copredicate #-form with the implicit argument. | Rustan Leino | 2013-01-16 | |
* | renamed "abstract module" to "module facade" | Rustan Leino | 2012-10-22 | |
* | improved and fixed compilation and resolution of assign-such-that statements | Rustan Leino | 2012-10-05 | |
* | Put all sources under \Source directory | Rustan Leino | 2012-10-04 |