summaryrefslogtreecommitdiff
path: root/Test/inline
Commit message (Expand)AuthorAge
* Boogie:Gravatar rustanleino2010-02-20
* Implemented block coalescing invoked right after type checking.Gravatar qadeer2010-02-16
* Fixed the implementation of inlining to deal with inlining depth properly.Gravatar qadeer2010-01-30
* Allow ":" in addition to "returns" in function definitions. Make the pretty-p...Gravatar MichalMoskal2009-12-17
* Fixed bug in inlining (procedure *definitions* had been traversed by Standard...Gravatar rustanleino2009-11-19
* Redesigned the encoding of Dafny generics, including the built-in types set a...Gravatar rustanleino2009-11-06
* Fixed bugs in inlining, and added a test case.Gravatar rustanleino2009-10-14
* Updated Answer files, in synch with my recent edits 31961.Gravatar rustanleino2009-08-16
* Removed Output files. These are created on a local machine when the tests ar...Gravatar rustanleino2009-08-07
* Fixed problem where nullary function with definition had caused a crash.Gravatar rustanleino2009-08-07
* Removed a temporary file that is created by the test script.Gravatar rustanleino2009-08-06
* Initial set of files.Gravatar mikebarnett2009-07-15