summaryrefslogtreecommitdiff
path: root/Test/cloudmake/CloudMake-ConsistentBuilds.dfy
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
* 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