Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Make /autoTriggers:1 to be default. Add /autoTriggers:0 to tests that requires | qunyanm | 2016-03-28 |
* | Added types "char" and "string" (the latter being a synonym for "seq<char>"). | leino | 2014-10-20 |
* | Set up the same test infrastructure as in Boogie. | wuestholz | 2014-05-29 |
* | Moved the (long running) CloudMake test files to their own directory | Rustan Leino | 2014-02-28 |