debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
\| \| \| \|	spaces.
*	Enabled the "Stratified inlining benchmarks" lit tests.	Dan Liew	2014-05-07
\| \| \| \| \| \| \| \| \| \|	The following tests will probably fail for newer versions of Z3 (e.g. 4.3) stratifiedinline/bar10.bpl stratifiedinline/bar7.bpl stratifiedinline/bar8.bpl stratifiedinline/bar9.bpl
*	more refactoring in stratified inlining	qadeer	2012-05-24
\|
*	Boogie: Added stratified inlining. It is enabled using the flag ↵	akashlal	2010-07-07
	/stratifiedInline:1.