debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Added another option for lazy inlining based on macro expansion. This option...	qadeer	2010-05-03
*	1. Fixed lazy inlining implementation so that inlined procedures use live var...	qadeer	2010-04-30
*	1. couple of bug fixes in interprocedural error trace generation	qadeer	2010-04-23
*	Added callee args information to calleeCounterexamples	qadeer	2010-04-21
*	Fixed bug in interprocedural counterexample generation	qadeer	2010-04-19
*	First cut of lazy inlining. The option can be turned on by the flag /lazyInl...	qadeer	2010-04-17
*	Dafny: Added definedness checks for all statements (previously, some were mi...	rustanleino	2010-03-13
*	Call program-wide lambda desugaring on axioms only. Call it on procedures in ...	MichalMoskal	2010-03-12
*	Boogie:	rustanleino	2010-02-20
*	1. Removed a quadratic loop in SimplifyLikeLineariser.ssc in favor of a linea...	qadeer	2010-02-16
*	Implemented block coalescing invoked right after type checking.	qadeer	2010-02-16
*	Boogie: Peephole optimization to reduce depth of formulas created during VC ...	rustanleino	2010-02-15
*	(no commit message)	qadeer	2010-02-12
*	bugfix	schaef	2010-01-28
*	Added experimental feature /DoomDebug. Can be test using Test/doomed/doomdebu...	schaef	2010-01-28
*	Doomed checking now uses the counterexample trace to minimize the number of t...	schaef	2009-12-18
*	Added code to (once again) print out prover warnings (under the /proverWarnin...	rustanleino	2009-11-26
*	(no commit message)	schaef	2009-11-20
*	Support {:PossiblyUnreachable} attribute on asserts	MichalMoskal	2009-11-20
*	doomed stuff: minor bug fixes / improved output / more test cases	schaef	2009-11-19
*	modified the doom checking. It is now able to report only the relevant statem...	schaef	2009-11-18
*	Fixes crash when modifies set includes a variable twice.	mkawa	2009-11-07
*	vc:doomed does not use the console anymore to report results	schaef	2009-11-02
*	Optimized the number of Z3 queries in doomed program point detection.	schaef	2009-09-25
*	* Boogie and Dafny: added /cev:<file> option	rustanleino	2009-09-15
*	Dafny:	rustanleino	2009-09-14
*	Report prover warnings during smoke test via the VerifierCallback	stobies	2009-09-07
*	Use callback mechanism to report prover warnings; do not just write them to s...	stobies	2009-09-07
*	Renaming ExtractExpr into BvExtractExpr to fit naming scheme of the other bit...	stobies	2009-09-07
*	Sign assemblies	stobies	2009-08-17
*	Fixed bug where the remove-empty-blocks optimization had not updated the star...	rustanleino	2009-08-13
*	Initial set of files.	mikebarnett	2009-07-15