summaryrefslogtreecommitdiff
path: root/Source/Model
Commit message (Expand)AuthorAge
* Add information about field being volatileGravatar MichalMoskal2010-12-14
* Add Func.OptEval function and some docsGravatar MichalMoskal2010-12-14
* Fix typoGravatar MichalMoskal2010-12-10
* Add ToString() overrides to help in debuggingGravatar MichalMoskal2010-12-10
* Added version.cs as link to those projects that were missing itGravatar stobies2010-12-06
* Introduce node categories; sort fields based on that not special charactersGravatar MichalMoskal2010-12-01
* Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...Gravatar qadeer2010-11-27
* Improve the generic model viewerGravatar MichalMoskal2010-11-06
* Dafny: a partial first crack at a Dafny model-viewer provider, including capt...Gravatar rustanleino2010-11-01
* Implement struct printingGravatar MichalMoskal2010-10-14
* Add DisplayNode class with default IDisplayNode implementation. Add IDisplayN...Gravatar MichalMoskal2010-10-14
* Put Model.cs in separate assembly. Fix signing/versioning with it.Gravatar MichalMoskal2010-10-12