debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	AbsHoudini: Few more abstract domains	akashlal	2013-06-16
\|
*	AbsHoudini: added an implication domain	akashlal	2013-06-15
\|
*	AbsHoudini: Added support for quantifiers	akashlal	2013-05-27
\|
*	AbsHoudini: Tolerate some assertion failing. Updated regression baseline.	akashlal	2013-05-10
\|
*	AbsHoudini: Each function can specify its own abstract domain. Also added	akashlal	2013-05-05
\| \| \| \|	typechecking
*	AbsHoudini: Added predicate-abstraction domain and some examples.	akashlal	2013-04-25
\|
*	Added a test case	akashlal	2013-04-19
\|
*	AbsHoudini: Added support for /inlineDepth, and fixed the regression tests	akashlal	2013-04-18
\| \| \| \|	(all pass)
*	Nice clean re-implementation of AbstractHoudini. And tests	akashlal	2013-04-18
\|
*	More stuff for abstract houdini; updated test case	Unknown	2012-12-10
\|
*	Added Abstract Houdini: an implementation of Houdini based on abstract domains.	Unknown	2012-11-05
	Currently only predicate-abstraction domain is supported.