debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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