Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update URL to boogie-partners to its new location on GitHub. | 2015-06-28 | |
* | Normalise line endings using a .gitattributes file. Unfortunately | 2015-06-28 | |
* | Boogie: improved parser makefile | 2012-09-19 | |
* | Factored out the ParserHelper class into a separate project and updated the f... | 2010-12-02 | |
* | Boogie: Committing changed source files | 2010-08-20 | |
* | Unified the .frame files so that both Boogie and Dafny use exactly the same o... | 2010-06-25 | |
* | Updated the frame files to work with the latest Coco/R. This entails *not* ha... | 2010-06-22 | |
* | Initial set of files. | 2009-07-15 |