debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	new option to disable checking for loop maintained invariants - this leads to...	Pantazis Deligiannis	2013-08-15
*	fix: can now setup CVC4 logic properly, default is ALL_SUPPORTED, other logic...	Pantazis Deligiannis	2013-07-15
*	temp fix until CVC4 bug is fixed (using QF_ALL_SUPPORTED instead of ALL_SUPPO...	Pantazis Deligiannis	2013-07-15
*	added specific command line options to enable the SMTLIB2 output model parser...	Pantazis Deligiannis	2013-07-09
*	some clean up	Pantazis Deligiannis	2013-07-09
*	Use the new ProverInterface's Evaluate method in stratified inlinig	Unknown	2013-01-03
*	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 som...	akashlal	2011-11-26
*	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
*	Provide /p: as the short form of /proverOpt:.	MichalMoskal	2011-02-17