debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Fixed bug where source location attributes are not being attached to a CHECK	Unknown	2012-08-16
*	Separated race checking into logging and checking calls. This simplifies	Unknown	2012-08-14
*	Removed some dud code for handling nested maps, which we no longer support.	Unknown	2012-08-13
*	Some more code cleanup related to removal of the "divided" option.	Unknown	2012-08-13
*	Removed code related to "divided" option.	Unknown	2012-08-13
*	Barrier divergence checking now achieved via precondition.	Unknown	2012-08-13
*	Unstructured and smart predication are now default options for GPUVerify.	Unknown	2012-08-09
*	Revised candidate invariant generation for barrier divergence checking.	Unknown	2012-08-07
*	Smart block predicator: drop the unused createCandidateInvariants parameter	Peter Collingbourne	2012-08-06
*	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
*	Reinstate GPUVerify files	Peter Collingbourne	2012-07-02
*	Merge	Unknown	2012-07-02
\|\
* \|	Started adding support for annotation intrinsics for unstructured programs.	Unknown	2012-07-02
\| *	Merge	Jason Koenig	2012-06-28
\| \|\ \| \|/ \|/\|
\| *	Dafny: Merge	Jason Koenig	2012-06-27
\| \|\
* \| \|	GPUVerify: modify the variable definition analysis to track and reject self-r...	Peter Collingbourne	2012-06-27
\| \|/ \|/\|
* \|	GPUVerify: when building offset predicates, skip unsubstitutable offsets	Peter Collingbourne	2012-06-27
* \|	GPUVerify: use original expression for undefined variables	Peter Collingbourne	2012-06-27
* \|	GPUVerify: implement generic reduced strength analysis for loop counters	Peter Collingbourne	2012-06-26
* \|	GPUVerify: fix UnstructuredRegion.CmdsChildRegions	Peter Collingbourne	2012-06-26
* \|	Reinstated support for barrier flags.	Unknown	2012-06-27
* \|	Undo bad merge.	afd	2012-06-27
* \|	Merge	Unknown	2012-06-26
\|\ \
* \| \|	Added support for barrier flags.	Unknown	2012-06-26
* \| \|	Merge	Unknown	2012-06-25
\|\ \ \
\| \| * \|	GPUVerify: factor all offset predicate handling code into a central location	Peter Collingbourne	2012-06-25
\| \| * \|	GPUVerify: merge ElementEncodingRaceInstrumenter into RaceInstrumenter	Peter Collingbourne	2012-06-22
\| \|/ /
\| * \|	GPUVerify: implement generic stride constraint generation	Peter Collingbourne	2012-06-22
\| * \|	GPUVerify: make VarDefAnalysis capable of analysing non-constants	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
* \| \|	Merge	Unknown	2012-06-21
\|\ \ \
\| \| * \|	GPUVerify: make BuildNamedDefVisitor and SubstDualisedDefVisitor Duplicators	Peter Collingbourne	2012-06-20
\| \|/ /
\| * /	GPUVerify: fix constant offset invariant generation for the case where no con...	Peter Collingbourne	2012-06-20
\| \|/
\| *	Move block predicator to VCGeneration	Peter Collingbourne	2012-06-18
\| *	GPUVerify: block predicator: add a mode which disables procedure predicates	Peter Collingbourne	2012-06-18
* \|	Merge with dafny_runtime_checking	Unknown	2012-06-18
\|\\|
* \|	Added command line option.	Unknown	2012-06-18
\| *	GPUVerify: implement is-a-constant analysis	Peter Collingbourne	2012-06-15
\| *	GPUVerify: revert ac36537a0eb8, as this is in fact a candidate invariant (e.g...	Peter Collingbourne	2012-06-15
\| *	GPUVerify: when dualising assume and assert statements, emit two statements i...	Peter Collingbourne	2012-06-15
\|/
*	Inter-thread race checking implementation done.	Unknown	2012-06-14
*	Fix for structured regions.	Unknown	2012-06-14
*	Progress on inter-group race checking	Unknown	2012-06-14