summaryrefslogtreecommitdiff
path: root/Binaries
Commit message (Collapse)AuthorAge
...
* Incorporated Counterexample Visualizer (CEV) information in the generated ↵Gravatar rustanleino2009-08-15
| | | | Boogie.
* Changes needed in order to build Boogie using a freshly built Spec# compiler ↵Gravatar mikebarnett2009-08-10
| | | | and not just the LKG.
* Initial set of files.Gravatar mikebarnett2009-07-15