debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Fixed some bugs in the generation of bitvector input for Z3.	rustanleino	2009-09-29
*	Use type-erased result type to make decision about whether or not to include ...	rustanleino	2009-09-27
*	Optimized the number of Z3 queries in doomed program point detection.	schaef	2009-09-25
*	Added antecedent to select-of-store axioms to make them sound even when trigg...	rustanleino	2009-09-24
*	Added /z3multipleErrors flag for generation of multiple counterexamples per a...	mkawa	2009-09-23
*	* Boogie and Dafny: added /cev:<file> option	rustanleino	2009-09-15
*	Dafny: Added axioms for division and modulo.	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
*	Full (?) support in Dafny for Counterexample Visualizer predicates.	rustanleino	2009-08-19
*	Improve token-dumping in the inspector interface	MichalMoskal	2009-08-18
*	Also sign AbsInt.dll	stobies	2009-08-18
*	Sign assemblies	stobies	2009-08-17
*	Incorporated Counterexample Visualizer (CEV) information in the generated Boo...	rustanleino	2009-08-15
*	Fixed bug where the remove-empty-blocks optimization had not updated the star...	rustanleino	2009-08-13
*	Changes needed in order to build Boogie using a freshly built Spec# compiler ...	mikebarnett	2009-08-10
*	Fixed problem where nullary function with definition had caused a crash.	rustanleino	2009-08-07
*	Fixed bug that used != instead of == in one translation of fresh.	rustanleino	2009-08-06
*	Made trigger more liberal for int_2_U U_2_int axiom.	rustanleino	2009-07-30
*	Deleting another stray file.	mikebarnett	2009-07-15
*	Deleting the individual user options files.	mikebarnett	2009-07-15
*	Initial set of files.	mikebarnett	2009-07-15