debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Support for barrier invariants.	Unknown	2012-09-24
*	Uniformity analysis. Patch by Peter Collingbourne.	Unknown	2012-09-18
*	Shared state is now properly abstracted in requires clauses.	Unknown	2012-08-31
*	Removed code related to "divided" option.	Unknown	2012-08-13
*	Unstructured and smart predication are now default options for GPUVerify.	Unknown	2012-08-09
*	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
*	Worked on cross-thread annotations.	Unknown	2012-07-03
*	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