summaryrefslogtreecommitdiff
path: root/Test/test1
Commit message (Expand)AuthorAge
* Removed old test infrastructure files except forGravatar Dan Liew2014-05-28
* Fix lit test suite when running Boogie under a path that containsGravatar Dan Liew2014-05-27
* Implemented an additional type check for assumption variables.Gravatar wuestholz2014-05-27
* Remove old python testing scriptsGravatar Dan Liew2014-05-11
* Enabled lit tests for test1/ directoryGravatar Dan Liew2014-05-06
* Add support for assumption variables.Gravatar wuestholz2014-04-21
* cleaned up the OG codeGravatar qadeer2013-08-07
* added python scripts (work in unix and windows) for testing Z3 and CVC4 to ma...Gravatar Pantazis Deligiannis2013-07-07
* removed call forall and * args to callsGravatar Unknown2013-02-23
* Boogie and Dafny: adjustments to the test suite expected output (and a tempor...Gravatar Unknown2012-09-27
* Boogie: added type 'real' with overloaded arithmetic operations plus real div...Gravatar boehmes2012-09-27
* Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;...Gravatar MichalMoskal2010-02-19
* Implement if-then-else expression.Gravatar MichalMoskal2010-02-18
* Removed Output files. These are created on a local machine when the tests ar...Gravatar rustanleino2009-08-07
* Initial set of files.Gravatar mikebarnett2009-07-15