debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Barrier invariants can now refer to local variables that are uniform.	Unknown	2012-09-26
*	Support for barrier invariants.	Unknown	2012-09-24
*	Uniformity analysis. Patch by Peter Collingbourne.	Unknown	2012-09-18
*	During dualisation,	Unknown	2012-09-17
*	Separated race checking into logging and checking calls. This simplifies	Unknown	2012-08-14
*	Barrier divergence checking now achieved via precondition.	Unknown	2012-08-13
*	GPUVerify: when dualising assume and assert statements, emit two statements i...	Peter Collingbourne	2012-06-15
*	GPUVerify: dualiser: preserve attributes of assert cmd	Peter Collingbourne	2012-06-11
*	GPUVerify: emit assumes for backedges	Peter Collingbourne	2012-06-07
*	GPUVerify: have dualiser reuse blocks	Peter Collingbourne	2012-06-07
*	GPUVerify: teach analyses, dualiser and race instrumenter about assigns with ...	Peter Collingbourne	2012-05-31
*	GPUVerify: add a MakeDual for unstructured blocks	Peter Collingbourne	2012-05-25
*	GPUVerify: factor out the Cmd dualiser	Peter Collingbourne	2012-05-24
*	Significantly changed the way race checking is performed. Made eager race ch...	Unknown	2012-04-24
*	Added support for break and return.	Unknown	2012-04-03
*	Using uniform expression analysis in GPUVerify - also did some major refactor...	Unknown	2012-03-24