debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn...	akashlal	2010-07-07
*	Boogie:	rustanleino	2010-06-22
*	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. Fixed an off-by-one error in parsing array partitions in Z3 models	qadeer	2010-04-19
*	Fixed a bug. Call RegisterType before the collection of Select and Store fun...	qadeer	2010-04-19
*	First cut of lazy inlining. The option can be turned on by the flag /lazyInl...	qadeer	2010-04-17
*	1. Removed a quadratic loop in SimplifyLikeLineariser.ssc in favor of a linea...	qadeer	2010-02-16
*	Fixed bug in DEFTYPE declarations for maps. Made sure that argument and resu...	qadeer	2010-01-28
*	Implemented the command line switch /useArrayTheory. This switch should be u...	qadeer	2010-01-21
*	Revert the matching depth limit change from previous checkin: would break VCC.	MichalMoskal	2009-12-10
*	Z3 parameters to help it bail out of fruitless searches faster	mkawa	2009-12-05
*	Changed how Boogie looks for Z3: first look in the directory where Boogie is...	rustanleino	2009-10-14
*	In the TypeDeclCollector, call RegisterType for the bound variables in a quan...	stobies	2009-10-12
*	Added /z3lets switch, which governs which kinds of LET expressions are sent t...	rustanleino	2009-10-04
*	Handle new Z3 'Memout' message.	stobies	2009-09-30
*	Fixed some bugs in the generation of bitvector input for Z3.	rustanleino	2009-09-29
*	Added /z3multipleErrors flag for generation of multiple counterexamples per a...	mkawa	2009-09-23
*	Use callback mechanism to report prover warnings; do not just write them to s...	stobies	2009-09-07
*	Improve token-dumping in the inspector interface	MichalMoskal	2009-08-18
*	Sign assemblies	stobies	2009-08-17
*	Initial set of files.	mikebarnett	2009-07-15