summaryrefslogtreecommitdiff
path: root/Source/Dafny.sln
Commit message (Collapse)AuthorAge
* Dafny: Added a 'Checked' configuration and fixed some runtime assertion ↵Gravatar wuestholz2011-09-23
| | | | violations.
* Update to VS2010.Gravatar MichalMoskal2010-10-07
|
* Boogie: Added boolean code expressions (sans well-formedness checks on the ↵Gravatar rustanleino2010-08-10
| | | | input).
* Dafny: Port commit part 1.5/2: Committing changed files outside of the Dafny ↵Gravatar tabarbe2010-08-04
| | | | | | dir. Do not attempt to regenerate the Parser and Scanner files before the port of Boogie/Core is done, as these have undergone changes, but will not be committed until after the Core port.
* Also build Boogie and Dafny projects in 32-bit configurations.Gravatar rustanleino2010-07-30
| | | | Don't insist on DafnyDriver picking up the LKG version (1.0.21125.0) of the Spec# runtime (in fact, most builders will probably have 1.0.21126.0).
* Dafny: DafnyDriver port part 3/3: Updating sources to reference new project.Gravatar tabarbe2010-07-28
|
* Initial set of files.Gravatar mikebarnett2009-07-15