summaryrefslogtreecommitdiff
path: root/Source/Model/Properties
Commit message (Expand)AuthorAge
* Dafny: compile quantifiersGravatar rustanleino2011-03-26
* Put Model.cs in separate assembly. Fix signing/versioning with it.Gravatar MichalMoskal2010-10-12