summaryrefslogtreecommitdiff
path: root/Test/VSI-Benchmarks/b4.dfy
Commit message (Expand)AuthorAge
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* Changed a test to verify within a reasonable time (10 s vs. 300 s).Gravatar wuestholz2013-07-01
* Updated a test to verify with Z3 4.3.0.Gravatar wuestholz2013-05-21
* Enhanced the VSI-Benchmarks tests:Gravatar Rustan Leino2013-03-26
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-16 05:06:19 +0000