debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Added creation of source variable pre- and post- conditions.	Egor Kyshtymov	2012-09-16
*	Added generation of invariants to restrict source location to sensible values.	Egor Kyshtymov	2012-08-28
*	Fixed problem where SOURCE variables were not being generated.	Unknown	2012-08-20
*	Added functionality for race error reporting.	Egor Kyshtymov	2012-08-20
*	Fixed bug where source location attributes are not being attached to a CHECK	Unknown	2012-08-16
*	Separated race checking into logging and checking calls. This simplifies	Unknown	2012-08-14
*	Removed some dud code for handling nested maps, which we no longer support.	Unknown	2012-08-13
*	Some more code cleanup related to removal of the "divided" option.	Unknown	2012-08-13
*	Removed code related to "divided" option.	Unknown	2012-08-13
*	Barrier divergence checking now achieved via precondition.	Unknown	2012-08-13
*	Implemented Houdini-based pointer analysis. Made inter-group race checking d...	Unknown	2012-07-20
*	GPUVerify only generates _READ/WRITE_OFFSET variabls if they do not already e...	Unknown	2012-07-17
*	Read and write logging variables are now only generated if they do not alread...	Unknown	2012-07-10
*	Reinstate GPUVerify files	Peter Collingbourne	2012-07-02