Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Normalise line endings using a .gitattributes file. Unfortunately | 2015-06-28 | |
* | Boogie: New cli option -z3exe:"path-to-z3.exe" allowing specifying path to th... | 2011-07-05 | |
* | Use reflection to read version string from assembly when displaying logo info... | 2010-02-08 | |
* | Changes needed in order to build Boogie using a freshly built Spec# compiler ... | 2009-08-10 | |
* | Initial set of files. | 2009-07-15 |