summaryrefslogtreecommitdiff
path: root/Test/alltests.txt
Commit message (Expand)AuthorAge
* removed lazy inliningGravatar qadeer2012-04-28
* Boogie: temporarily disabled the "datatypes" test cases, until a null derefer...Gravatar Unknown2012-03-12
* updated Boogie strings so that they can refer to \" (and more)Gravatar qadeer2012-03-12
* Disable datatypes test until Z3 is updated.Gravatar Mike Barnett2012-01-05
* added a test for generalized array theoryGravatar qadeer2011-12-30
* added the datatypes testGravatar qadeer2011-12-29
* Added Dafny solutions to the VSTTE 2012 program verification competitionGravatar Rustan Leino2011-11-15
* Added a push+pop+unsat-core interface to SMTLib (for stratified inlining only)Gravatar Unknown2011-10-19
* added houdini to regressionGravatar qadeer2011-10-17
* Dafny: added Snapshotable Trees exampleGravatar Rustan Leino2011-09-11
* Add tests for -z3multipleErrors from Shuvendu.Gravatar MichalMoskal2011-02-23
* Boogie:Gravatar rustanleino2010-09-24
* Added tests for extractloopsGravatar akashlal2010-09-04
* Dafny: Added Dafny solutions to the VSComp 2010 problemsGravatar rustanleino2010-09-01
* Boogie: Added boolean code expressions (sans well-formedness checks on the in...Gravatar rustanleino2010-08-10
* Boogie: Added a new simple regression test, "sanity", which runs a single tes...Gravatar tabarbe2010-07-29
* Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn...Gravatar akashlal2010-07-07
* Boogie:Gravatar rustanleino2010-06-08
* added lazyinline to the regressionsGravatar qadeer2010-05-28
* Dafny:Gravatar rustanleino2010-05-21
* (no commit message)Gravatar qadeer2010-02-12
* Start (some parsing and resolution) of adding algebraic datatypes to Dafny.Gravatar rustanleino2009-11-08
* Initial set of files.Gravatar mikebarnett2009-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 19:04:33 +0000