summaryrefslogtreecommitdiff
path: root/DafnyDriver/DafnyDriver.csproj
Commit message (Expand)AuthorAge
* Dafny: Added a 'Checked' configuration and fixed some runtime assertion viola...Gravatar wuestholz2011-09-23
* Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...Gravatar wuestholz2011-07-15
* Dafny: Fixed some build issues with duplicated and malformed Code Contracts.Gravatar rustanleino2011-01-13
* 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
* Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...Gravatar qadeer2010-11-27
* Update to VS2010.Gravatar MichalMoskal2010-10-07
* 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 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-11-23 13:53:35 +0000