debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	Made the Boogie driver return an exit code.	wuestholz	2014-05-19
*	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-21
*	Removed unused code.	wuestholz	2013-06-13
*	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
*	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
*	bunch of refactorings	Unknown	2012-10-03
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	Boogie: added /tracePOs option for printing out number of proof obligations w...	Unknown	2012-09-10
*	BoogieDriver: correctly display time taken by prover if >60 seconds	Peter Collingbourne	2012-07-30
*	Boogie: formated elapsed time	Jason Koenig	2012-06-28
*	integrating predication	qadeer	2012-06-19
*	Boogie: add /printCFG command line option, which prints each implementation's...	Peter Collingbourne	2012-06-06
*	Removed program argument from VerifyImplementation. It is redundant since th...	qadeer	2012-05-29
*	more refactoring in stratified inlining	qadeer	2012-05-24