debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	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.
*	Implement if-then-else expression.	MichalMoskal	2010-02-18
\|
*	Boogie: Peephole optimization to reduce depth of formulas created during VC ↵	rustanleino	2010-02-15
\| \| \| \|	generation. This reduces the chances of Boogie causing a stack overflow.
*	Fixed some bugs in the generation of bitvector input for Z3.	rustanleino	2009-09-29
\| \| \| \|	Deleted/ignored some binaries in the Binaries directory.
*	Initial set of files.	mikebarnett	2009-07-15