debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	finished testing, fixed several minor compiler bugs	Checkmate50	2016-06-06
*	Added initial support for float addition	Checkmate50	2015-09-17
*	Float type now works correctly for simple variable declaration and comparison.	Dietrich	2015-07-20
*	Modified internal abstract float representation to allow user-defined mantiss...	Dietrich	2015-07-13
*	Let the SMT lib convert models to Z3-like models	Dan Liew	2014-09-24
*	Conjecture printing for duality and child user time tracking.	Ken McMillan	2014-05-26
*	Removed harmful "Assert(false)".	wuestholz	2013-07-26
*	Revamp of staged Houdini, and completion of parallel support.	allydonaldson	2013-07-18
*	Worked on the parallelization.	wuestholz	2013-07-02
*	Implement support for alternative SMT solvers -- CVC3 and CVC4	Peter Collingbourne	2012-09-06
*	Restart prover after out-of-memory error; honour -restartProver option	Michal Moskal	2011-10-27
*	Improve logging when -proverOpt:VERBOSITY=1 or 2 is specified	Michal Moskal	2011-10-21
*	Add PROVER_PATH prover option (to base options, but currently only used by SM...	Michal Moskal	2011-08-29
*	Dispose of the prover when Close() is called.	MichalMoskal	2011-02-23
*	Pass solverarguments	MichalMoskal	2011-02-23
*	Recognize () as identifier terminators	MichalMoskal	2011-02-18
*	Kill the solver process when ctrl-c is pressed	MichalMoskal	2011-02-17
*	Provide /p: as the short form of /proverOpt:.	MichalMoskal	2011-02-17
*	Read prover responses; handle labels	MichalMoskal	2011-02-17
*	Make it possible to run Z3 on pipe; use generic PROVER_LOG options	MichalMoskal	2011-02-17
*	Start implementation of pipe communication in SMTLIB backend	MichalMoskal	2011-02-17