debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	GPUVerify: add an option which controls whether to use smart predication	Peter Collingbourne	2012-07-30
*	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
*	Merge	Unknown	2012-07-10
\|\
* \|	Read and write logging variables are now only generated if they do not alread...	Unknown	2012-07-10
\| *	GPUVerify: merge blocks into predecessors before and after predication	Peter Collingbourne	2012-07-09
\|/
*	Worked on cross-thread annotations.	Unknown	2012-07-03
*	Started adding support for annotation intrinsics for unstructured programs.	Unknown	2012-07-02
*	GPUVerify: implement generic reduced strength analysis for loop counters	Peter Collingbourne	2012-06-26
*	Reinstated support for barrier flags.	Unknown	2012-06-27
*	Undo bad merge.	afd	2012-06-27
*	Added support for barrier flags.	Unknown	2012-06-26
*	GPUVerify: implement generic stride constraint generation	Peter Collingbourne	2012-06-22
*	GPUVerify: construct BV_AND and BV_SUB using MakeBVFunctionCall	Peter Collingbourne	2012-06-21
*	GPUVerify: replace MayBe{ThreadConfigurationVariable,Gid}Analyser with simple...	Peter Collingbourne	2012-06-21
*	Move block predicator to VCGeneration	Peter Collingbourne	2012-06-18
*	GPUVerify: implement is-a-constant analysis	Peter Collingbourne	2012-06-15
*	Inter-thread race checking implementation done.	Unknown	2012-06-14
*	Progress on inter-group race checking	Unknown	2012-06-14
*	Merge	Unknown	2012-06-14
\|\
* \|	Started work on inter-group race checking.	Unknown	2012-06-14
\| *	GPUVerify: emit "uniform loop" candidate invariant	Peter Collingbourne	2012-06-11
\| *	GPUVerify: factor out CreateCandidateInvariant from AddCandidateInvariant	Peter Collingbourne	2012-06-11
\| *	GPUVerify: initialise invariantGenerationCounter in the constructor, rather t...	Peter Collingbourne	2012-06-11
\|/
*	GPUVerify: have StripThreadIdentifiers deal properly with identifiers contain...	Peter Collingbourne	2012-06-07
*	GPUVerify: re-introduce the non-divergence check in unstructured mode	Peter Collingbourne	2012-06-07
*	GPUVerify: refactor candidate invariant generators and analyses to use regions	Peter Collingbourne	2012-06-07
*	GPUVerify: add newly created barrier procedures to resolution context	Peter Collingbourne	2012-06-07
*	GPUVerify: resolve barrier implementation in unstructured mode	Peter Collingbourne	2012-05-31
*	GPUVerify: teach analyses, dualiser and race instrumenter about assigns with ...	Peter Collingbourne	2012-05-31
*	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: mark new work-item constants as non-unique	Peter Collingbourne	2012-05-29
*	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 a MakeDual for unstructured blocks	Peter Collingbourne	2012-05-25
*	GPUVerify: add block predicator	Peter Collingbourne	2012-05-25
*	GPUVerify: add an /unstructured command line option	Peter Collingbourne	2012-05-25
*	Significantly changed the way race checking is performed. Made eager race ch...	Unknown	2012-04-24
*	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
*	More accessed offset inference	Unknown	2012-04-09
*	Refined assertion.	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
*	Started generalising thread id inference	Unknown	2012-04-05
*	GPUverify now automatically decides then to use adversarial abstraction.	Unknown	2012-04-05
*	Added support for break and return.	Unknown	2012-04-03