summaryrefslogtreecommitdiff
path: root/Test/VSI-Benchmarks/b4.dfy
Commit message (Expand)AuthorAge
* Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...Gravatar Rustan Leino2013-03-05
* Dafny: Fixed a test that would fail with Z3 4.1.Gravatar wuestholz2012-09-07
* Dafny: Since it's no longer true that all types support equality at run-time ...Gravatar Unknown2012-06-21
* Dafny: retired the "call" keywordGravatar Rustan Leino2011-05-26
* Dafny:Gravatar Rustan Leino2011-05-21
* Added a comment noting that this test fails with Z3 2.4.Gravatar mschwerhoff2010-07-06
* Boogie:Gravatar rustanleino2010-06-22
* Dafny:Gravatar rustanleino2010-06-14
* Dafny:Gravatar rustanleino2010-05-21
* Added wellformedness checks to method specificationsGravatar rustanleino2010-03-12
* Added a sequence update expression in Dafny.Gravatar rustanleino2009-11-06
* Redesigned the encoding of Dafny generics, including the built-in types set a...Gravatar rustanleino2009-11-06
* The Dafny call statement now automatically declares left-hand sides as local ...Gravatar rustanleino2009-11-05
* Introduced operator !in in Dafny. An expression "x !in S" is equivalent to "...Gravatar rustanleino2009-11-05
* Initial version of VSI Benchmarks 1 - 8Gravatar RMonahan2009-10-30