debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	new option to disable checking for loop maintained invariants - this leads ↵	Pantazis Deligiannis	2013-08-15
\| \| \| \|	to an underapproximation that helps to speedup houdini refutation of candidates
*	fix: can now setup CVC4 logic properly, default is ALL_SUPPORTED, other ↵	Pantazis Deligiannis	2013-07-15
\| \| \| \|	logics can be set with the previously existing command e.g. /proverOpt:LOGIC=QF_ALL_SUPPORTED
*	temp fix until CVC4 bug is fixed (using QF_ALL_SUPPORTED instead of ↵	Pantazis Deligiannis	2013-07-15
\| \| \| \|	ALL_SUPPORTED)
*	added specific command line options to enable the SMTLIB2 output model ↵	Pantazis Deligiannis	2013-07-09
\| \| \| \|	parser for Z3. Use /proverOpt:SMTLIB2_MODEL=true
*	some clean up	Pantazis Deligiannis	2013-07-09
\|
*	Use the new ProverInterface's Evaluate method in stratified inlinig	Unknown	2013-01-03
\| \| \| \|	(guarded by the flag /useProverEvaluate)
*	Bug fix for ExplainHoudini. Made it robust under timeouts.	Unknown	2012-12-20
\|
*	Implement support for alternative SMT solvers -- CVC3 and CVC4	Peter Collingbourne	2012-09-06
\|
*	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.