Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Boogie: Added a new code snippet for IEnumerable out parameters | tabarbe | 2010-08-02 |
| | |||
* | Code Snippets: Corrected an annoyance in one of the snippets | tabarbe | 2010-08-02 |
| | |||
* | Boogie/Dafny: For those who may have not used custom code snippets before, ↵ | tabarbe | 2010-07-30 |
| | | | | some instructions on getting VS to track them down, along with an Excel sheet detailing the ones available. | ||
* | Boogie/Dafny: Boogie and Dafny's conversion to C# and Code Contracts does ↵ | tabarbe | 2010-07-30 |
not need to mean that adding functionality will take longer than it had before, now that the handy Spec# non-null typesystem and verification keywords no longer are used. Here are some handy Code Snippets which can be implemented in Visual Studio in order to make adding to the Boogie codebase rapid. |