Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Minor fixes in .expect files | 2015-07-16 | |
* | Postpone reads checks of function preconditions until after the entire precon... | 2015-06-15 | |
* | Combined some common routines into CheckWellformedAndAssume, which also allow... | 2015-06-12 | |
* | Fix lit headers implicitly relying on bash-style constructs | 2015-06-08 | |
* | Beefed up collection axioms (in particular, for maps) to improve the chance o... | 2015-03-10 | |
* | Snapshot, to be continued | 2014-12-02 | |
* | Resolve attributes of a forall statement only after bound variables have been... | 2014-10-29 | |
* | Marked "free" as soon-to-be-deprecated | 2014-10-25 | |
* | Updated expected test results for previous check-in | 2014-07-02 | |
* | Fixed a crash in the translation of fresh(seq<T>). | 2014-07-02 | |
* | Set up the same test infrastructure as in Boogie. | 2014-05-29 |