summaryrefslogtreecommitdiff
path: root/Source/DafnyDriver/DafnyDriver.cs
Commit message (Expand)AuthorAge
* Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...Gravatar mikebarnett2011-03-10
* Dafny: Non-empty Visual-Studio error messages for related split-expr locations.Gravatar rustanleino2011-02-27
* Dafny: Improved scheme for splitting expressions. Also, report each split i...Gravatar rustanleino2011-02-19
* Dafny: removed CEV instrumentationGravatar rustanleino2011-02-03
* Dafny: white-space deltas in source codeGravatar rustanleino2011-02-02
* Add functions generated in lambda-expansion of function body to top-level pro...Gravatar MichalMoskal2010-12-17
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* Dafny: a partial first crack at a Dafny model-viewer provider, including capt...Gravatar rustanleino2010-11-01
* Dafny:Gravatar rustanleino2010-09-14
* Dafny: Made line endings consistentGravatar tabarbe2010-08-04
* Dafny: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Dafny: DafnyDriver port part 1/3: Replacing old source files with ported versionGravatar tabarbe2010-07-28
* Dafny/DafnyDriver: Renaming source files in preparation for port commitGravatar tabarbe2010-07-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-03 22:12:16 +0000