summaryrefslogtreecommitdiff
path: root/Source/Core/Makefile
Commit message (Expand)AuthorAge
* Factored out the ParserHelper class into a separate project and updated the f...Gravatar wuestholz2010-12-02
* Boogie: Committing changed source filesGravatar tabarbe2010-08-20
* Unified the .frame files so that both Boogie and Dafny use exactly the same o...Gravatar mikebarnett2010-06-25
* Updated the frame files to work with the latest Coco/R. This entails *not* ha...Gravatar mikebarnett2010-06-22
* Initial set of files.Gravatar mikebarnett2009-07-15