summaryrefslogtreecommitdiff
path: root/Source/version.cs
Commit message (Collapse)AuthorAge
* Boogie: New cli option -z3exe:"path-to-z3.exe" allowing specifying path to ↵Gravatar Unknown2011-07-05
| | | | the Z3 version to use
* Made consistent the way all of the C# projects sign themselves and include ↵Gravatar mikebarnett2010-07-30
the version information.