debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Dafny:	rustanleino	2010-09-14
\| \| \| \| \| \| \| \|	* Added internal support for multi-dimensional arrays (but not all surface syntax is there yet) * Removed unused variables from Dafny.atg Boogie and Dafny: * Improved error message for postcondition violations
*	Boogie: Added stratified inlining. It is enabled using the flag ↵	akashlal	2010-07-07
	/stratifiedInline:1.