summaryrefslogtreecommitdiff
path: root/Source/DafnyDriver
Commit message (Expand)AuthorAge
* Boogie: Added an additional parameter 'defines' to the method 'BoogiePL.Parse...Gravatar wuestholz2010-07-06
* Updated the frame files to work with the latest Coco/R. This entails *not* ha...Gravatar mikebarnett2010-06-22
* Dafny:Gravatar rustanleino2010-05-21
* Dafny:Gravatar rustanleino2010-05-06
* Dafny:Gravatar rustanleino2010-03-12
* Dafny: Added stratosphere tests for datatypes--that is, it is now checked th...Gravatar rustanleino2010-03-11
* Added resolution and translation of algebraic datatypes and (in function bodi...Gravatar rustanleino2009-11-20
* * Boogie and Dafny: added /cev:<file> optionGravatar rustanleino2009-09-15
* Sign assembliesGravatar stobies2009-08-17
* Initial set of files.Gravatar mikebarnett2009-07-15