debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	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.
*	Bug fixes and speed up for doomed program point analysis	schaef	2010-10-13
\|
*	Doomed checking now uses the counterexample trace to minimize the number of ↵	schaef	2009-12-18
\| \| \| \|	theorem prover calls (See useCE in notdoomed.bpl).
*	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.