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.
*	added golden output	qadeer	2014-11-08
\|
*	more minor fix to test case houdini\testUnsatCore.bpl	shuvendu	2014-11-07
\|
*	minor fix to test case houdini\testUnsatCore.bpl	shuvendu	2014-11-07
\|
*	re-enabling -useUnsatCoreForContractInfer	shuvendu	2014-11-07
\| \| \| \|	An example houdini\testUnsatCore.bpl to test out the unsatCore (Currently seems to be not working)
*	more tests for houdini /inlineDepth	shuvendu	2014-09-19
\|
*	a bug fix in Houdini (also AbsHoudini)	qadeer	2014-09-19
\|
*	Removed old test infrastructure files except for	Dan Liew	2014-05-28
\| \| \| \| \| \| \| \| \|	./AbsHoudini/ ./doomed/ ./z3api/ ./test17/ because their conversion to lit incomplete.
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
\| \| \| \|	spaces.
*	Convert houd12.bpl into a OutputCheck style test and also pass	Dan Liew	2014-05-12
\| \| \| \|	--dump-file-to-check flag to OutputCheck by default to ease debugging
*	Remove old python testing scripts	Dan Liew	2014-05-11
\|
*	Enable houdini lit tests. Note some still fail due to Boogie	Dan Liew	2014-05-05
\| \| \| \|	outputing absolute paths to .bpl files in error messages
*	added python scripts (work in unix and windows) for testing Z3 and CVC4 to ↵	Pantazis Deligiannis	2013-07-07
\| \| \| \|	many of the test suite dirs
*	various refactorings related to houdini	qadeer	2012-03-02
\|
*	forgot to check it in	qadeer	2011-12-21
\|
*	fixed a completeness problem in houdini with inlining	qadeer	2011-12-18
\|
*	first check in	qadeer	2011-12-05
\|
*	further fixes to houdini	qadeer	2011-12-05
\|
*	added some more statistics to houdini	qadeer	2011-11-24
\| \| \| \|	added a coupe more regressions for houdini+inlineDepth
*	fixed bug in the inlineDepth option for houdini	qadeer	2011-11-23
\| \| \| \|	small clean up in the inlining implementation
*	/contractInfer always prints the computed assignment now	qadeer	2011-11-16
\| \| \| \|	enabled the houdini regressions
*	bug fix in houdini	qadeer	2011-09-30
\| \| \| \|	also fixed runtest.bat and Answer
*	further changes for making houdini work	qadeer	2011-08-04
\|
*	Initial set of files.	mikebarnett	2009-07-15