summaryrefslogtreecommitdiff
path: root/Test/cloudmake/CloudMake-ParallelBuilds.dfy
Commit message (Expand)AuthorAge
* 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
* 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