summaryrefslogtreecommitdiff
path: root/Source/Dafny/DafnyPipeline.csproj
Commit message (Expand)AuthorAge
* Dafny: compilation of abstract modules, including local definitions (as in mo...Gravatar Jason Koenig2012-07-17
* Dafny: Implemented abstract modulesGravatar Jason Koenig2012-06-26
* Dafny: added experimental feature {:autocontracts} to de-clutter idiomatic sp...Gravatar Unknown2012-03-05
* Dafny: beginning of the new refinement transformationsGravatar Rustan Leino2012-01-05
* Boogie (and Dafny, with effects also on SscBoogie): I refactored CommandLine...Gravatar Rustan Leino2011-11-15
* 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
* Factored out the ParserHelper class into a separate project and updated the f...Gravatar wuestholz2010-12-02
* Get rid of F# dependencies - use System.Numerics and a custom Rational struct...Gravatar MichalMoskal2010-12-02
* 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
* Dafny: Port commit part 1/2: Committing changed files.Gravatar tabarbe2010-08-03
* Dafny: Renaming the DafnyPipeline source files in preparation for the commit ...Gravatar tabarbe2010-08-03