debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed code related to "divided" option.	Unknown	2012-08-13
*	Unstructured and smart predication are now default options for GPUVerify.	Unknown	2012-08-09
*	Revised candidate invariant generation for barrier divergence checking.	Unknown	2012-08-07
*	GPUVerify: add an option which controls whether to use smart predication	Peter Collingbourne	2012-07-30
*	Implemented Houdini-based pointer analysis. Made inter-group race checking d...	Unknown	2012-07-20
*	GPUVerify: implement generic reduced strength analysis for loop counters	Peter Collingbourne	2012-06-26
*	Reinstated support for barrier flags.	Unknown	2012-06-27
*	Undo bad merge.	afd	2012-06-27
*	Added command line option.	Unknown	2012-06-18
*	Started work on inter-group race checking.	Unknown	2012-06-14
*	GPUVerify: add an /unstructured command line option	Peter Collingbourne	2012-05-25
*	Removed set encoding.	Unknown	2012-04-24
*	Significantly changed the way race checking is performed. Made eager race ch...	Unknown	2012-04-24
*	Made loop predicate invariant optionally generated.	Unknown	2012-04-13
*	More accessed offset inference	Unknown	2012-04-09
*	Started generalising thread id inference	Unknown	2012-04-05
*	GPUverify now automatically decides then to use adversarial abstraction.	Unknown	2012-04-05
*	Started adding another invariant generation analysis.	Unknown	2012-03-26
*	Added "may be power of two" analysis.	Unknown	2012-03-25
*	Added "may be tid" analysis.	Unknown	2012-03-24
*	Fixed some bugs in uniformity analysis - now passes GPUVerify test suite.	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
*	Added the option to let user determine whether or not GPUVerify should add in...	Unknown	2012-03-19
*	Some fixes to get GPUVerify close to working with OpenCL.	Unknown	2011-12-09
*	Generating useful, and guarateed by construction, postconditions and loop inv...	Unknown	2011-11-21
*	Better support for race-checking contracts	Unknown	2011-11-16
*	Refactoring, and work on race checking contracts	Unknown	2011-11-09
*	Additions to GPU Verify for paper submission.	Unknown	2011-11-08
*	Changes to GPUVerify	Unknown	2011-09-30
*	Made use of Houdini optional	Unknown	2011-09-29
*	Progress on GPUVerify	Unknown	2011-09-27
*	Completed basic version of GPUVerify tool	Unknown	2011-09-07
*	Added driver script and GPUVerify libary. The driver script works around the...	Unknown	2011-09-06
*	Added GPUVerify project	Unknown	2011-09-02