debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Implemented Houdini-based pointer analysis. Made inter-group race checking ↵	Unknown	2012-07-20
\| \| \| \|	default.
*	GPUVerify: teach the array control flow analyser to handle unstructured programs	Peter Collingbourne	2012-06-08
\|
*	GPUVerify: teach analyses, dualiser and race instrumenter about assigns with ↵	Peter Collingbourne	2012-05-31
\| \| \| \|	multiple LHSs
*	Minor fix to array control flow analysis.	Unknown	2012-04-10
\|
*	Started generalising thread id inference	Unknown	2012-04-05