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.
*	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
\|
*	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.