summaryrefslogtreecommitdiff
path: root/Test/test2/Answer
Commit message (Expand)AuthorAge
* Updated the 'Answer' file for test2.Gravatar wuestholz2011-12-02
* Added "free call" statements that don't check the precondition in the caller.Gravatar wuestholz2011-09-14
* Fix a bug in cloning of nested lambda expressions in AI engineGravatar MichalMoskal2011-02-11
* Add new feature: {:selective_checking} on procedures. See testcase for a desc...Gravatar MichalMoskal2010-12-17
* Boogie:Gravatar rustanleino2010-10-26
* Dafny:Gravatar rustanleino2010-09-14
* Change Synonym type printing to what it was, use a workaround in TypeToString...Gravatar MichalMoskal2010-08-18
* Boogie:Gravatar rustanleino2010-05-15
* Dafny: Added definedness checks for all statements (previously, some were mi...Gravatar rustanleino2010-03-13
* Boogie:Gravatar rustanleino2010-02-20
* Fix up the polymorphic case for lambda; it probably still isn't quite correct.Gravatar MichalMoskal2010-02-19
* Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;...Gravatar MichalMoskal2010-02-19
* Implement if-then-else expression.Gravatar MichalMoskal2010-02-18
* Implemented block coalescing invoked right after type checking.Gravatar qadeer2010-02-16
* Updated Answer files, in synch with my recent edits 31961.Gravatar rustanleino2009-08-16
* Initial set of files.Gravatar mikebarnett2009-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-25 17:34:03 +0000