summaryrefslogtreecommitdiff
path: root/Test/cloudmake
Commit message (Expand)AuthorAge
* Renamed "ghost method" to "lemma" whenever appropriate (which is most of the ...Gravatar Rustan Leino2015-07-28
* Added types "char" and "string" (the latter being a synonym for "seq<char>").Gravatar leino2014-10-20
* Renamed "arbitrary type" to "opaque type"Gravatar Rustan Leino2014-07-15
* Removed the old test infrastructure.Gravatar wuestholz2014-07-01
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* Moved the (long running) CloudMake test files to their own directoryGravatar Rustan Leino2014-02-28