summaryrefslogtreecommitdiff
path: root/Util/Code Snippets
Commit message (Expand)AuthorAge
* Boogie: Added a new code snippet for IEnumerable out parametersGravatar tabarbe2010-08-02
* Code Snippets: Corrected an annoyance in one of the snippetsGravatar tabarbe2010-08-02
* Boogie/Dafny: For those who may have not used custom code snippets before, so...Gravatar tabarbe2010-07-30
* Boogie/Dafny: Boogie and Dafny's conversion to C# and Code Contracts does not...Gravatar tabarbe2010-07-30