debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Worked on cross-thread annotations.	Unknown	2012-07-03
\|
*	Added support for non-predicated assertions	Unknown	2012-07-02
\|
*	Started adding support for annotation intrinsics for unstructured programs.	Unknown	2012-07-02
\|
*	merge with Peter's changes	qadeer	2012-06-20
\| \| \| \|	moved the try-catch for IrreducibleLoopException upstream
*	Merge	qadeer	2012-06-20
\|\
\| *	Block predicator: handle StateCmd	Peter Collingbourne	2012-06-20
\| \|
* \|	another edit for predication	qadeer	2012-06-19
\| \|
* \|	integrating predication	qadeer	2012-06-19
\|/
*	Merge	qadeer	2012-06-18
\|
*	Fix line endings	Peter Collingbourne	2012-06-18
\|
*	Move block predicator to VCGeneration	Peter Collingbourne	2012-06-18