debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Made loop predicate invariant optionally generated.	Unknown	2012-04-13
*	Added invariant to predicated loops.	Unknown	2012-04-10
*	Fixed bug with handling of return in GPUVerify.	Unknown	2012-04-03
*	Added support for break and return.	Unknown	2012-04-03
*	Added "may be tid" analysis.	Unknown	2012-03-24
*	Using uniform expression analysis in GPUVerify - also did some major refactor...	Unknown	2012-03-24
*	Added uniform expression analysis, and started using it to do less predication.	Unknown	2012-03-23
*	Do not generate equality candidates for variables that are not in the mod set.	Unknown	2012-03-22
*	Race checking assertions are now added as invariants and pre/post conditions ...	Unknown	2012-03-05
*	Support for access annotations.	Unknown	2012-03-01
*	Adding support for annotations written in the OpenCL/CUDA kernels.	Unknown	2012-02-29
*	Predicated assumes	Unknown	2012-02-08
*	Some fixes to get GPUVerify close to working with OpenCL.	Unknown	2011-12-09
*	Refactoring, and work on race checking contracts	Unknown	2011-11-09