debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	starting the implementation of the new stratified inlining API	qadeer	2012-05-21
*	removed lazy inlining	qadeer	2012-04-28
*	unsat core for houdini	qadeer	2012-04-27
*	houdini cleanup continued	qadeer	2012-03-10
*	small fix for a bug I introduced during the refactoring of InferAndVerify	qadeer	2012-03-02
*	various refactorings related to houdini	qadeer	2012-03-02
*	further fixes related to using uninterpreted function for error traces	qadeer	2012-02-25
*	bug fixes related to using ControlFlowFunction instead of labels	qadeer	2012-02-23
*	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
*	Dafny: changed translation to be sensitive to refinement inheritance; this fe...	Rustan Leino	2012-01-09
*	Boogie: output number of proof obligations (asserts) along with timing inform...	Rustan Leino	2012-01-09