debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	removed a stray Console.WriteLine that Ken had earlier checked in by	qadeer	2015-06-25
*	Merge branch 'master' of https://github.com/boogie-org/boogie	akashlal	2015-06-20
\|\
* \|	Fix for reading fixpoint back into boogie exprs	akashlal	2015-06-20
\| *	adding z3name option	Ken McMillan	2015-06-15
\|/
*	Fix minor issue with diagnosing timeouts.	Valentin Wüstholz	2015-06-12
*	Merge branch 'master' of https://github.com/boogie-org/boogie	Ken McMillan	2015-06-11
\|\
\| *	fixed crash	qadeer	2015-06-10
* \|	various changes for duality from dead codeplex repo	U-REDMOND\kenmcmil	2015-06-09
\| *	Stop truncating the prover logs	Clément Pit--Claudel	2015-06-09
\|/
*	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-06-08
*	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-06-05
*	Improve heuristics for diagnosing timeouts.	Valentin Wüstholz	2015-05-31
*	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-05-22
*	Minor changes	Valentin Wüstholz	2015-05-20
*	Minor refactoring	Valentin Wüstholz	2015-05-20
*	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-05-20
*	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-05-19
*	Add some experimental support for diagnosing timeouts.	Valentin Wüstholz	2015-05-18
*	Fix for printFixedPoint when dealing with functions	Akash Lal	2015-05-13
*	Try to fix the emission of invalid SMT-LIBv2 queries when Boogie has a	Dan Liew	2015-04-26
*	VC gen for security properties	akashlal	2015-04-05
*	If using -proverLog: make sure we flush after writing every line	Dan Liew	2015-03-10
*	Work around bug in Z3 4.3.2 and newer (https://z3.codeplex.com/workitem/188)	Dan Liew	2015-03-10
*	Parse Bv values	akashlal	2015-03-02
*	Fix using "mkbv" as a variable name in a boogie program. This was	Dan Liew	2015-02-27
*	Fix using reserved Z3 keywords for real/int arithmetic operators. These are t...	Dan Liew	2015-02-27
*	Fix using reserved Z3 keywords for float operators. These are taken	Dan Liew	2015-02-27
*	Fix bug where some reserved Z3 keywords were not sanitized	Dan Liew	2015-02-18
*	more work on reducing call stack consumption	qadeer	2014-12-18
*	patched two occurrences of StackOverflowException on benchmarks from IronClad	qadeer	2014-12-16
*	Merge some FixpointVC changes that got left behind	Ken McMillan	2014-12-08
\|\
* \|	Patch by Jeroen Ketema	Dan Liew	2014-12-01
* \|	Patch by Jeroen Ketema	Dan Liew	2014-11-17
* \|	re-enabling -useUnsatCoreForContractInfer	shuvendu	2014-11-07
* \|	Minor change to make some regression tests work with Z3 4.3.2	wuestholz	2014-11-05
* \|	Logging for SMTLib prover	akashlal	2014-11-05
\| *	Merge FixpointVC changes with mainline	Ken McMillan	2014-10-08
\|/\|
\| *	Added "extra recursion bound" to FixedpointVC to support Corral.	Ken McMillan	2014-10-08
* \|	Some fixes to ITP	akashlal	2014-10-04
* \|	minor fixes to interpolating TP	akashlal	2014-10-03
* \|	Added a flag to initialize the interpolating TP	akashlal	2014-09-29
* \|	Merge.	Dan Liew	2014-09-24
\|\ \
* \| \|	Remove dead method argument	Dan Liew	2014-09-24
* \| \|	Let the SMT lib convert models to Z3-like models	Dan Liew	2014-09-24
\| * \|	(Subhajit) Added an interface for InterpolatingTheoremProver	akashlal	2014-09-24
\| * \|	Simple VC generation for SI	akashlal	2014-09-24
\|/ /
* /	Patch by Jeroen Ketema.	Dan Liew	2014-09-19
\|/
*	Fix nasty bug introduced by commit 61a94f409975.	Dan Liew	2014-07-15
*	OnModel now carries the result of the prover call	akashlal	2014-06-28