debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	removed lazy inlining	qadeer	2012-04-28
\|
*	using model instead of labels	Unknown	2012-02-23
\|
*	houdini will not request models now	qadeer	2012-02-08
\|
*	Added option of turning off model generation in SI. Can be very expensive ↵	akashlal	2011-11-26
\| \| \| \|	sometimes.
*	SMTLib: Only use (set-logic ...) when requested; quote some more symbols	Michal Moskal	2011-06-30
\|
*	Add MULTI_TRACES prover option (equivalent of /z3multipleErrors)	MichalMoskal	2011-02-23
\|
*	Ask Z3 to generate models, in V2 format, when needed	MichalMoskal	2011-02-18
\| \| \| \| \|	Add supported :prover commands Minor fixes
*	Provide /p: as the short form of /proverOpt:.	MichalMoskal	2011-02-17
	Add /p:O:<name>=<value> and /p:C:<solver-argument> prover options in SMT. Add default Z3 options when using Z3.