debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	more refactoring in stratified inlining	qadeer	2012-05-24
\|
*	UseLabels=false when stratified inline is on	qadeer	2012-04-29
\|
*	removed proccopybounding code	qadeer	2012-04-28
\| \| \| \|	stratified inliinig is now run always with /doNotUseLabels
*	Added test to stratified inlining.	Unknown	2012-04-24
\| \| \| \|	Don't use UNSAT core for the refinement step.
*	small fix	qadeer	2012-04-04
\| \| \| \|	added regressions
*	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ↵	Rustan Leino	2011-10-27
\| \| \| \|	The :forceBvZ3Native, :forceBvInt, and :bvint attributes were also eliminated.
*	implemented /UseUnsatCoreForInlining option for use in stratified inlining	qadeer	2011-02-06
\|
*	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.