debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	GPUVerify: implement generic reduced strength analysis for loop counters	Peter Collingbourne	2012-06-26
*	GPUVerify: merge ElementEncodingRaceInstrumenter into RaceInstrumenter	Peter Collingbourne	2012-06-22
*	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
*	GPUVerify: refactor candidate invariant generators and analyses to use regions	Peter Collingbourne	2012-06-07
*	GPUVerify: add reference to Graph project	Peter Collingbourne	2012-05-25
*	GPUVerify: add block predicator	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
*	removed BoogieDriver from solution	qadeer	2012-04-18
*	More accessed offset inference	Unknown	2012-04-09
*	Inference of thread ids complete.	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
*	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
*	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
*	Race checking assertions are now added as invariants and pre/post conditions ...	Unknown	2012-03-05
*	Support for access annotations.	Unknown	2012-03-01
*	Adding support for annotations written in the OpenCL/CUDA kernels.	Unknown	2012-02-29
*	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
*	Refactoring and reorganisation of GPUVerify	Unknown	2011-09-30
*	Progress on GPUVerify	Unknown	2011-09-27
*	Added GPUVerify project	Unknown	2011-09-02