summaryrefslogtreecommitdiff
path: root/Source/ModelViewer/Properties
Commit message (Expand)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* Dafny: compile quantifiersGravatar rustanleino2011-03-26
* Put Model.cs in separate assembly. Fix signing/versioning with it.Gravatar MichalMoskal2010-10-12
* Put in proper namespace, move files around.Gravatar MichalMoskal2010-10-12
* Starting work on Boogie Model Viewer.Gravatar MichalMoskal2010-10-12