summaryrefslogtreecommitdiff
path: root/Source/DafnyDriver
Commit message (Expand)AuthorAge
* MergeGravatar Rustan Leino2011-09-28
|\
| * Dafny: Added a 'Checked' configuration and fixed some runtime assertion viola...Gravatar wuestholz2011-09-23
* | Dafny: generate a compiler error upon encountering an assume statementGravatar Rustan Leino2011-09-11
|/
* Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...Gravatar wuestholz2011-07-15
* - fixed a bug in DafnyModelUtils.fs (reading set values from models)Gravatar Unknown2011-07-11
* Added option to force Dafny compilation, even if verification fails.Gravatar Jason Koenig2011-06-30
* 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
* Dafny: Fixed some build issues with duplicated and malformed Code Contracts.Gravatar rustanleino2011-01-13
* Add functions generated in lambda-expansion of function body to top-level pro...Gravatar MichalMoskal2010-12-17
* Factored out the ParserHelper class into a separate project and updated the f...Gravatar wuestholz2010-12-02
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* forgot to check this file inGravatar qadeer2010-11-28
* Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...Gravatar qadeer2010-11-27
* Dafny: a partial first crack at a Dafny model-viewer provider, including capt...Gravatar rustanleino2010-11-01
* Update to VS2010.Gravatar MichalMoskal2010-10-07
* Dafny:Gravatar rustanleino2010-09-14
* Dafny: Made line endings consistentGravatar tabarbe2010-08-04
* Dafny: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Fixed some infelicities in the project files.Gravatar mikebarnett2010-08-04
* fixed path to the binaries directory; there was an extra .."Gravatar qadeer2010-08-03
* Also build Boogie and Dafny projects in 32-bit configurations.Gravatar rustanleino2010-07-30
* Sign both of the Dafny projects and have Dafny.exe get a version number as well.Gravatar mikebarnett2010-07-30
* Dafny: DafnyDriver port part 3/3: Updating sources to reference new project.Gravatar tabarbe2010-07-28
* Dafny: DafnyDriver port part 2/3: Adding new dependent file, removing unneces...Gravatar tabarbe2010-07-28
* 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
* Boogie: Added an additional parameter 'defines' to the method 'BoogiePL.Parse...Gravatar wuestholz2010-07-06
* Updated the frame files to work with the latest Coco/R. This entails *not* ha...Gravatar mikebarnett2010-06-22
* Dafny:Gravatar rustanleino2010-05-21
* Dafny:Gravatar rustanleino2010-05-06
* Dafny:Gravatar rustanleino2010-03-12
* Dafny: Added stratosphere tests for datatypes--that is, it is now checked th...Gravatar rustanleino2010-03-11
* Added resolution and translation of algebraic datatypes and (in function bodi...Gravatar rustanleino2009-11-20
* * Boogie and Dafny: added /cev:<file> optionGravatar rustanleino2009-09-15
* Sign assembliesGravatar stobies2009-08-17
* Initial set of files.Gravatar mikebarnett2009-07-15