debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Boogie: Added stratified inlining. It is enabled using the flag ↵	akashlal	2010-07-07
\| \| \| \|	/stratifiedInline:1.
*	1. couple of bug fixes in interprocedural error trace generation	qadeer	2010-04-23
\| \| \| \|	2. added facility for giving weights to the generated quantifiers for lazy inlining; however, left the weights at default 1.
*	Added callee args information to calleeCounterexamples	qadeer	2010-04-21
\|
*	First cut of lazy inlining. The option can be turned on by the flag ↵	qadeer	2010-04-17
\| \| \| \|	/lazyInline:1. It is off by default. This option currently does not support loops and recursion and also does not allow assertions and specifications in inlined procedures. The usage is currently not documented.
*	Use callback mechanism to report prover warnings; do not just write them to ↵	stobies	2009-09-07
\| \| \| \|	stdout/stderr
*	Initial set of files.	mikebarnett	2009-07-15