debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	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