summaryrefslogtreecommitdiff
path: root/Source/Dafny/Makefile
Commit message (Expand)AuthorAge
* Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...Gravatar Rustan Leino2013-03-05
* Dafny: added ensures clauses to functionsGravatar rustanleino2011-02-02
* Factored out the ParserHelper class into a separate project and updated the f...Gravatar wuestholz2010-12-02
* Unified the .frame files so that both Boogie and Dafny use exactly the same o...Gravatar mikebarnett2010-06-25
* Dafny:Gravatar rustanleino2010-06-24
* 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