debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	modified floating point syntax and modified floating point constants to use b...	Checkmate50	2016-03-17
*	Modified BigFloat and parser to accept correct SMT-LIB syntax	Checkmate50	2016-02-20
*	Special fp types (such as infinity and NaN are now translated by boogie	Checkmate50	2015-11-29
*	Modified translation so that z3 runs with type checking for simple binary ope...	Checkmate50	2015-10-14
*	Modified BigFloat to avoid evaluating the floating point value before sending...	Checkmate50	2015-09-23
*	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
*	integrated the named float type to act as a real in boogie	Dietrich	2015-05-04
*	Began adding the float type to VC expression	Dietrich	2015-04-27
*	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
*	Small refactoring	Ally Donaldson	2014-06-06
*	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
\|/
*	Added /printFixedPoint option	Ken McMillan	2014-04-14
*	Fixed bug in printing real literals	Rustan Leino	2014-02-10
*	Fix Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
*	fixed vc generation so that even when builtin array functions are used,	qadeer	2013-12-28
*	Merge	Ally Donaldson	2013-12-09
\|\
* \|	Small change related to CVC4 support. Patch by Pantazis Deligiannis	Ally Donaldson	2013-12-09
\| *	The back pred files have been eliminated. The small backpred string is now d...	qadeer	2013-12-08
\|/