debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
*	modified floating point syntax and modified floating point constants to use b...	Checkmate50	2016-03-17
*	Added several test cases and some basic documentation for fp usage	Checkmate50	2016-01-04
*	Made the Boogie driver return an exit code.	wuestholz	2014-05-19
*	various updates	qadeer	2013-12-09
*	changed the output path for the QED build configuration to the Binaries folder	qadeer	2013-12-08
*	added the QED build configuration	qadeer	2013-12-02
*	merge	Pantazis Deligiannis	2013-07-06
\|\
\| *	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-21
\| *	Removed unused code.	wuestholz	2013-06-13
* \|	CVC4 Parser	pantazis	2013-06-12
\|/
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Fixed an issue with discovering program snapshots.	wuestholz	2013-06-03
*	Added a feature for verifying several program snapshots (incl. result caching...	wuestholz	2013-06-02
*	Changed the prover interface to report traces for time outs and out of memory.	wuestholz	2013-05-30
*	fixed bug in reporting the number of typechecking errors	Unknown	2013-05-22
*	Merge	Unknown	2013-05-18
\|\
* \|	reworked the linear and og implementation based on available variables theory	Unknown	2013-05-18
\| *	Adapted Houdini algorithm to take staging into account	allydonaldson	2013-05-18
\|/
*	AbsHoudini: Tolerate some assertion failing. Updated regression baseline.	akashlal	2013-05-10
*	merging changes for fixedpoint engine backend	Ken McMillan	2013-05-07
\|\
* \|	Adding fixedpoint engine backend	Ken McMillan	2013-05-07
\| *	AbsHoudini: Each function can specify its own abstract domain. Also added	akashlal	2013-05-05
\| *	Merge	Unknown	2013-05-04
\| \|\
\| * \|	fixed bug reported by Akash	Unknown	2013-05-04
\|/ /
\| *	Some code refactoring	akashlal	2013-05-03
\|/
*	Merge	allydonaldson	2013-04-30
\|\
* \|	Staged Houdini	allydonaldson	2013-04-30
\| *	AbsHoudini: Added support for /errorLimit:n, n > 1	akashlal	2013-04-25
\| *	AbsHoudini: Added predicate-abstraction domain and some examples.	akashlal	2013-04-25
\| *	AbsHoudini: Added support for DoNotUsLabels, domain for simulating Houdini,	akashlal	2013-04-25
\| *	AbsHoudini: Added SCC-based worklist, bug-fix for inline attribute,	akashlal	2013-04-19
\| *	AbsHoudini: Added support for /inlineDepth, and fixed the regression tests	akashlal	2013-04-18
\| *	Nice clean re-implementation of AbstractHoudini. And tests	akashlal	2013-04-18
\|/
*	fixed bugs in both parallel calls and linear stuff (reported by Chris)	Unknown	2013-03-03
*	fixed bug in OG	Unknown	2013-02-01
*	made a whole bunch of changes to linear and og stuff	Unknown	2013-01-29
*	bug fix reported by Chris	Unknown	2013-01-28
*	added owicki-gries and linear-set to boogiedriver	Unknown	2013-01-25
*	Output to Boogie\Binaries even in the Release version	Unknown	2013-01-25
*	Some more changes to AbsHoudini	akashlal	2012-12-28
*	AbstractHoudini: bug fixes	akashlal	2012-12-16
*	More stuff for abstract houdini; updated test case	Unknown	2012-12-10
*	Allow richer spec for abs-houdini	Unknown	2012-12-03
*	Added Abstract Houdini: an implementation of Houdini based on abstract domains.	Unknown	2012-11-05
*	added sound loop unrolling	Yannick Welsch	2012-07-03