Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add tests for -z3multipleErrors from Shuvendu. | 2011-02-23 | |
* | Boogie: | 2010-09-24 | |
* | Added tests for extractloops | 2010-09-04 | |
* | Dafny: Added Dafny solutions to the VSComp 2010 problems | 2010-09-01 | |
* | Boogie: Added boolean code expressions (sans well-formedness checks on the in... | 2010-08-10 | |
* | Boogie: Added a new simple regression test, "sanity", which runs a single tes... | 2010-07-29 | |
* | Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn... | 2010-07-07 | |
* | Boogie: | 2010-06-08 | |
* | added lazyinline to the regressions | 2010-05-28 | |
* | Dafny: | 2010-05-21 | |
* | (no commit message) | 2010-02-12 | |
* | Start (some parsing and resolution) of adding algebraic datatypes to Dafny. | 2009-11-08 | |
* | Initial set of files. | 2009-07-15 |