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.
*	Add missing run lines (based off Test/doomed/runtest.bat) to doomed	Dan Liew	2014-09-21
\| \| \| \| \| \| \| \|	tests. These are really broken because Boogie just seems to hang when they are executed. So they aren't executed right now. I'm not sure what to do with the other .bpl files. ``schaef`` left them lying around.
*	Prevent running doomed tests. They weren't being run	Dan Liew	2014-05-10
\| \| \| \|	by the old testing infrastructure.
*	Bug fixes and speed up for doomed program point analysis	schaef	2010-10-13
\|
*	Added experimental feature /DoomDebug. Can be test using ↵	schaef	2010-01-28
\| \| \| \|	Test/doomed/doomdebug.bpl
*	Doomed checking now uses the counterexample trace to minimize the number of ↵	schaef	2009-12-18
\| \| \| \|	theorem prover calls (See useCE in notdoomed.bpl).
*	(no commit message)	schaef	2009-11-20
\|
*	doomed stuff: minor bug fixes / improved output / more test cases	schaef	2009-11-19
\|
*	modified the doom checking. It is now able to report only the relevant ↵	schaef	2009-11-18
\| \| \| \|	statements and writes them the stdout. Line numbers are only displayed for bpl input.
*	vc:doomed does not use the console anymore to report results	schaef	2009-11-02
	added first test cases for doomed (including the ones from smoke) minor bug fixes minor speed-ups