debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Cleaned up some GPUVerify code.	Unknown	2012-03-22
*	Added the option to let user determine whether or not GPUVerify should add in...	Unknown	2012-03-19
*	Support for arrays with arbitrary indices	Unknown	2012-03-18
*	Improved kernel precondition generation	Unknown	2012-03-17
*	Added support for further annotations	Unknown	2012-03-16
*	Race checking assertions are now added as invariants and pre/post conditions ...	Unknown	2012-03-05
*	Support for __all and __at_most_one annotations	Unknown	2012-03-04
*	More annotation support	Unknown	2012-03-04
*	Support for access annotations.	Unknown	2012-03-01
*	Added missing files.	Unknown	2012-02-29
*	Adding support for annotations written in the OpenCL/CUDA kernels.	Unknown	2012-02-29
*	Fixed compilation problems in GPUVerify	Unknown	2012-02-28
*	Added support for invariants in GPUVerify input.	Unknown	2012-02-28
*	Small fix to previous commit.	paulthomson	2012-02-13
*	Allow any file extension, but give warning if it is not .gbpl	paulthomson	2012-02-10
*	Fix: Check for duplicate special constants (with attributes).	paulthomson	2012-02-09
*	Predicated assumes	Unknown	2012-02-08
*	Support for language-specific thread ids.	Unknown	2012-02-07
*	A few fixes to get GPUVerify working with OpenCL front-end.	Unknown	2011-12-15
*	Some fixes to get GPUVerify close to working with OpenCL.	Unknown	2011-12-09
*	Changed names of builtins to make them generic.	Unknown	2011-12-07
*	Generating useful, and guarateed by construction, postconditions and loop inv...	Unknown	2011-11-21
*	Small fix.	Unknown	2011-11-16
*	Better support for race-checking contracts	Unknown	2011-11-16
*	Some fixes for race checking contracts	Unknown	2011-11-15
*	Modified solution to build on all platforms.	Unknown	2011-11-15
*	Refactoring, and work on race checking contracts	Unknown	2011-11-09
*	moved GPUVerify into its own solution	qadeer	2011-11-08
*	Additions to GPU Verify for paper submission.	Unknown	2011-11-08
*	Started working on inter-procedural inference	Unknown	2011-09-30
*	Changes to GPUVerify	Unknown	2011-09-30
*	Refactoring and reorganisation of GPUVerify	Unknown	2011-09-30
*	Added missing files	Unknown	2011-09-29
*	Made use of Houdini optional	Unknown	2011-09-29
*	Progress on GPUVerify	Unknown	2011-09-27
*	Various changes to GPUVerify	Unknown	2011-09-08
*	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