debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Started work on inter-group race checking.	Unknown	2012-06-14
\|
*	Using uniform expression analysis in GPUVerify - also did some major ↵	Unknown	2012-03-24
\| \| \| \|	refactoring to GPUVerify.
*	Support for __all and __at_most_one annotations	Unknown	2012-03-04
\|
*	Adding support for annotations written in the OpenCL/CUDA kernels.	Unknown	2012-02-29
\|
*	Refactoring and reorganisation of GPUVerify	Unknown	2011-09-30
\|
*	Added missing files	Unknown	2011-09-29