debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	GPUVerify: use Concat instead of PureCollections.Sequence.operator+	Peter Collingbourne	2012-05-31
*	GPUVerify: resolve barrier implementation in unstructured mode	Peter Collingbourne	2012-05-31
*	GPUVerify: use a Formal for procedure predicates	Peter Collingbourne	2012-05-31
*	GPUVerify: teach analyses, dualiser and race instrumenter about assigns with ...	Peter Collingbourne	2012-05-31
*	GPUVerify: implement assume stealing in block predicator	Peter Collingbourne	2012-05-30
*	GPUVerify: disable barrier divergence check in unstructured mode for now	Peter Collingbourne	2012-05-30
*	GPUVerify: have shared state abstraction, race instrumenter reuse blocks	Peter Collingbourne	2012-05-30
*	GPUVerify: factor shared state abstraction for unstructured blocks	Peter Collingbourne	2012-05-29
*	GPUVerify: factor the race instrumenter to handle unstructured blocks	Peter Collingbourne	2012-05-29
*	GPUVerify: mark new work-item constants as non-unique	Peter Collingbourne	2012-05-29
*	GPUVerify: in unstructured mode, disable uniformity analysis and return conse...	Peter Collingbourne	2012-05-25
*	GPUVerify: implement a set of BV operation constructors which insert a functi...	Peter Collingbourne	2012-05-25
*	GPUVerify: declarations of barrier, work-item constants no longer required; G...	Peter Collingbourne	2012-05-25
*	GPUVerify: add reference to Graph project	Peter Collingbourne	2012-05-25
*	GPUVerify: add a MakeDual for unstructured blocks	Peter Collingbourne	2012-05-25
*	GPUVerify: factor out the Cmd dualiser	Peter Collingbourne	2012-05-24
*	GPUVerify: add block predicator	Peter Collingbourne	2012-05-25
*	GPUVerify: add an /unstructured command line option	Peter Collingbourne	2012-05-25
*	Get Boogie and GPUVerify to compile and run with Mono	Peter Collingbourne	2012-05-02
*	Started refactoring invariant generation rules.	Unknown	2012-04-24
*	Removed set encoding.	Unknown	2012-04-24
*	Significantly changed the way race checking is performed. Made eager race ch...	Unknown	2012-04-24
*	removed BoogieDriver from solution	qadeer	2012-04-18
*	Made loop predicate invariant optionally generated.	Unknown	2012-04-13
*	Added invariant to predicated loops.	Unknown	2012-04-10
*	Minor fix to array control flow analysis.	Unknown	2012-04-10
*	Inference in GPUVerify now merges candidates for threads 1 and 2 into a singl...	Unknown	2012-04-10
*	Don't insert final barrier when eager race checking is enabled.	paulthomson	2012-04-09
*	Tweak to inference.	Unknown	2012-04-09
*	More accessed offset inference	Unknown	2012-04-09
*	Refined assertion.	Unknown	2012-04-06
*	Tuned candidate generation.	Unknown	2012-04-06
*	Extended GPUVerify's candidate invariant generation to use thread id inference.	Unknown	2012-04-05
*	Inference of thread ids complete.	Unknown	2012-04-05
*	Thread id inference now generalised to infer other thread configuration param...	Unknown	2012-04-05
*	Thread id inference now generalised to three dimensions.	Unknown	2012-04-05
*	Started generalising thread id inference	Unknown	2012-04-05
*	GPUverify now automatically decides then to use adversarial abstraction.	Unknown	2012-04-05
*	Fixed bug with handling of return in GPUVerify.	Unknown	2012-04-03
*	Added support for break and return.	Unknown	2012-04-03
*	Fixed bug with GPUVerify precondition generation	Unknown	2012-03-30
*	Improved invariant inference.	Unknown	2012-03-28
*	Started adding another invariant generation analysis.	Unknown	2012-03-26
*	Started on live variable analysis in GPUVerify	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
*	Do not generate equality candidates for variables that are not in the mod set.	Unknown	2012-03-22