debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-07-01
*	Method in Houdini to allow an expression to be turned into non-candidate form	allydonaldson	2013-06-21
*	Adapted Houdini algorithm to take staging into account	allydonaldson	2013-05-18
*	Staged Houdini	allydonaldson	2013-04-30
*	Refactored MatchCandidate	allydonaldson	2013-03-08
*	MatchCandidate modified to match candidates by variable name, rather than by ...	allydonaldson	2013-03-08
*	Some code clean-up	Unknown	2013-01-07
*	minor bug fix	Unknown	2012-12-27
*	Bug fix for ExplainHoudini. Made it robust under timeouts.	Unknown	2012-12-20
*	AbstractHoudini: bug fixes	akashlal	2012-12-16
*	Added some comments	akashlal	2012-12-12
*	Merge	akashlal	2012-12-12
\|\
* \|	First implementation of ExplainHoudini	Unknown	2012-12-12
\| *	Houdini: allow cross-dependencies between procedures that occurs when assume	Unknown	2012-12-11
\|/
*	when a query times out, all asserted candidates are dropped	Unknown	2012-11-25
*	bunch of refactorings	Unknown	2012-10-03
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	Extra debugging output for Houdini	Unknown	2012-08-21
*	Houdini: recognise candidates of the form (p => (q => (... => (e => phi)))) w...	Peter Collingbourne	2012-08-07
*	moved class Macro to Absy	qadeer	2012-06-04
*	changed behavior of InlinedEnsures so that free ensures is skipped unless an ...	qadeer	2012-06-01
*	shutting down the prover used for doing houdini	qadeer	2012-05-10
*	clean up in stratified inlining	qadeer	2012-04-29
*	unsat core for houdini	qadeer	2012-04-27
*	various changes for using unsat cores in Houdini	qadeer	2012-04-17
*	houdini cleanup continued	qadeer	2012-03-10
*	various refactorings related to houdini	qadeer	2012-03-02
*	further fixes related to using uninterpreted function for error traces	qadeer	2012-02-25
*	slight change to houdini logging	Unknown	2012-02-06
*	added more logging in houdini	Unknown	2012-02-06
*	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
*	bug fix in the FreeRequiresVisitor	qadeer	2011-12-22
*	removed some extraneous parameters	qadeer	2011-12-19
*	fixed a completeness problem in houdini with inlining	qadeer	2011-12-18
*	bug fix in houdini inlineDepth	qadeer	2011-12-06
*	more logging	qadeer	2011-12-06
*	further fixes to houdini	qadeer	2011-12-05
*	added more instrumentation to Houdini	qadeer	2011-12-05
*	fixed bug in the inlineDepth option for houdini	qadeer	2011-11-23
*	augmented the worklist with an explicit attached set	qadeer	2011-11-22
*	commented calls to GC.Collect()	qadeer	2011-11-18
*	refactoring houdini so that it creates only a single instance of z3	qadeer	2011-11-16
*	simple fix in houdini	qadeer	2011-11-16
*	added houdini to regression	qadeer	2011-10-17
*	bug fix in houdini	qadeer	2011-09-30
*	updated Houdini so it works with SMTLib	qadeer	2011-09-27
*	fixed houdini so that it is cognizant of inlined procedures	qadeer	2011-09-27
*	further changes for making houdini work	qadeer	2011-08-04
*	cleaned up houdini options	qadeer	2011-08-04
*	full port of houdini project	qadeer	2011-08-04