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.
*	adding z3name option	Ken McMillan	2015-06-15
\|
*	various changes for duality from dead codeplex repo	U-REDMOND\kenmcmil	2015-06-09
\|
*	Patch by Jeroen Ketema	Dan Liew	2014-12-01
\| \| \| \| \| \| \| \| \| \|	Fix some of the interfacing with Z3 4.3.2 in SMTLib. In particular: * It makes the useSmtOutputFormat usable * It fixes parsing of bit vectors that occur in the models returned by Z3 Similar stuff might be broken in the other interfaces to Z3, but it shouldn’t be more broken than it already was.
*	Minor change to make some regression tests work with Z3 4.3.2	wuestholz	2014-11-05
\|
*	Merge duality changes	Ken McMillan	2014-05-26
\|\
\| *	Conjecture printing for duality and child user time tracking.	Ken McMillan	2014-05-26
\| \|
* \|	Simplify Z3 executable discovery.	wuestholz	2014-05-12
\|/
*	Fixedpoint VC catch up with recent changes	Ken McMillan	2013-11-11
\|
*	Merge duality changes to mainline	Ken McMillan	2013-11-09
\|\
\| *	handling timeouts for fixedpoint engines	Ken McMillan	2013-11-09
\| \|
* \|	Reverted change to use MODEL_ON_FINAL_CHECK, which seems to cause Z3 ↵	Rustan Leino	2013-08-02
\| \| \| \| \| \| \| \|	unexpectedly to output model information
* \|	Turned on options in Z3 to try producing models for timeouts.	wuestholz	2013-08-02
\| \|
* \|	refactoring and fixes in the SMTLIB2 parser	Pantazis Deligiannis	2013-07-19
\| \|
* \|	added specific command line options to enable the SMTLIB2 output model ↵	Pantazis Deligiannis	2013-07-09
\| \| \| \| \| \| \| \|	parser for Z3. Use /proverOpt:SMTLIB2_MODEL=true
* \|	merge	Pantazis Deligiannis	2013-07-06
\|\ \
\| * \|	Worked on the parallelization.	wuestholz	2013-07-02
\| \|/
\| *	Fixes for duality under corral	Ken McMillan	2013-06-14
\| \|
* \|	Z3 new parser takes now a new option for pp-bv-literals	pantazis	2013-06-12
\|/
*	Getting fixed point backend to work with Corral.	Ken McMillan	2013-05-29
\|
*	Adding fixedpoint engine backend	Ken McMillan	2013-05-07
\|
*	Incorporated contribution 3667, which fixes bug in /z3exe flag ↵	Rustan Leino	2012-11-20
\| \| \| \|	(http://boogie.codeplex.com/SourceControl/network/forks/stefanheule/boogiez3exefix/contribution/3667)
*	Z3: do not assert that the ProgramFiles environment variable is set	Peter Collingbourne	2012-05-02
\| \| \| \| \|	This prevents mysterious exceptions from being thrown on platforms where ProgramFiles is not set.
*	minor fix in tracing	qadeer	2012-02-14
\|
*	minor bug in printing z3 path when running with /trace	qadeer	2012-02-09
\|
*	Boogie: Updated the error message for old versions of Z3.	wuestholz	2011-10-28
\|
*	Boogie: Present a nice error message when Z3 of lesser version than 3.2 is found	Michal Moskal	2011-10-27
\|
*	Don't pass /T: option to Z3 - it kills Z3 prematurely when there are ↵	Michal Moskal	2011-10-21
\| \| \| \|	multiple queries
*	Add PROVER_PATH prover option (to base options, but currently only used by ↵	Michal Moskal	2011-08-29
\| \| \| \| \| \|	SMTLib) Add support for Inspector with latest Z3/SMT2 frontend
*	deleted lazyinlining option 2 and 3	qadeer	2011-08-17
\| \| \| \|	fixed proc copy bounding
*	Add /T: option to Z3 to kill it if it exceeds soft timeout by more than 1s	Michal Moskal	2011-06-30
\|
*	Use :reason-unknown not :last-failure for Z3 in SMT mode; disable ↵	Michal Moskal	2011-04-28
\| \| \| \|	SORT_AND_OR option (obsolete)
*	Add MULTI_TRACES prover option (equivalent of /z3multipleErrors)	MichalMoskal	2011-02-23
\|
*	Set SOFT_TIMEOUT Z3 option if desired (SMT2 doesn't have :time-limit option!)	MichalMoskal	2011-02-23
\|
*	Parse else-> clauses in the model	MichalMoskal	2011-02-23
\| \| \| \|	Disable MODEL_PARTIAL in SMTLib
*	Ask Z3 to generate models, in V2 format, when needed	MichalMoskal	2011-02-18
\| \| \| \| \|	Add supported :prover commands Minor fixes
*	Disable MBQI and AUTO_CONFIG	MichalMoskal	2011-02-17
\|
*	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.
*	Make it possible to run Z3 on pipe; use generic PROVER_LOG options	MichalMoskal	2011-02-17