summaryrefslogtreecommitdiff
path: root/Test/dafny1/UltraFilter.dfy
Commit message (Expand)AuthorAge
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* Dafny: Since it's no longer true that all types support equality at run-time ...Gravatar Unknown2012-06-21
* Dafny: re-ran parser generator to include semicolon-less body-less functions/...Gravatar Rustan Leino2011-07-26
* Fixed regression test failures due to removal of bodiless methods and functions.Gravatar Jason Koenig2011-07-15
* Dafny: allow constructors only inside classes, removed semi-colons at end of ...Gravatar Rustan Leino2011-07-11
* Dafny: retired the "call" keywordGravatar Rustan Leino2011-05-26
* Boogie:Gravatar rustanleino2010-06-08