summaryrefslogtreecommitdiff
path: root/Source/Dafny.sln
Commit message (Expand)AuthorAge
* Update to VS2010.Gravatar MichalMoskal2010-10-07
* Boogie: Added boolean code expressions (sans well-formedness checks on the in...Gravatar rustanleino2010-08-10
* Dafny: Port commit part 1.5/2: Committing changed files outside of the Dafny ...Gravatar tabarbe2010-08-04
* Also build Boogie and Dafny projects in 32-bit configurations.Gravatar rustanleino2010-07-30
* Dafny: DafnyDriver port part 3/3: Updating sources to reference new project.Gravatar tabarbe2010-07-28
* Initial set of files.Gravatar mikebarnett2009-07-15