debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
\|
*	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.