debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	Updated an 'Answer' file (AbsHoudini).	wuestholz	2014-05-28
\|
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
\| \| \| \|	spaces.
*	Convert the AbsHoudini tests to lit tests. They weren't being run by the old	Dan Liew	2014-05-27
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	infrastructure so I have not bothered to update the Answer file. These tests are still disabled by the lit.local.cfg file in the AbsHoudini folder because the following tests fail or weren't even being run previously (these are left unresolved because I do not know how these tests are meant to be run) UNRESOLVED: Boogie :: AbsHoudini/f1.bpl (1 of 32) UNRESOLVED: Boogie :: AbsHoudini/imp1.bpl (7 of 32) UNRESOLVED: Boogie :: AbsHoudini/int1.bpl (8 of 32) UNRESOLVED: Boogie :: AbsHoudini/multi.bpl (9 of 32) FAIL: Boogie :: AbsHoudini/quant3.bpl (22 of 32) FAIL: Boogie :: AbsHoudini/quant5.bpl (28 of 32)
*	For lit test infrastructure, disable running tests in	Dan Liew	2014-05-07
\| \| \| \| \| \| \| \|	AbsHoudini/ test17/ z3api/ because the alltests.txt claims they are "Postponed"
*	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.