debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Inference in GPUVerify now merges candidates for threads 1 and 2 into a singl...	Unknown	2012-04-10
*	More accessed offset inference	Unknown	2012-04-09
*	Tuned candidate generation.	Unknown	2012-04-06
*	Extended GPUVerify's candidate invariant generation to use thread id inference.	Unknown	2012-04-05
*	Thread id inference now generalised to infer other thread configuration param...	Unknown	2012-04-05
*	Started generalising thread id inference	Unknown	2012-04-05
*	Added support for break and return.	Unknown	2012-04-03
*	Improved invariant inference.	Unknown	2012-03-28
*	Started adding another invariant generation analysis.	Unknown	2012-03-26
*	Do not generate equality candidates for variables that are not in the mod set.	Unknown	2012-03-22
*	Cleaned up some GPUVerify code.	Unknown	2012-03-22
*	Support for arrays with arbitrary indices	Unknown	2012-03-18
*	Race checking assertions are now added as invariants and pre/post conditions ...	Unknown	2012-03-05
*	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
*	Some fixes for race checking contracts	Unknown	2011-11-15
*	Refactoring, and work on race checking contracts	Unknown	2011-11-09
*	Additions to GPU Verify for paper submission.	Unknown	2011-11-08