debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	removing GPUVerify and Dafny.sln	Unknown	2013-03-05
*	Fixed bug with uniformity analysis for havoc. Allowed barrier invariants to	Unknown	2012-09-28
*	Fixed issue with uniformity analysis and block merging. Uniformity analysis	Unknown	2012-09-24
*	Support for barrier invariants.	Unknown	2012-09-24
*	Fixed a bug with empty big blocks.	Unknown	2012-09-21
*	Added support for invariants about shared state.	Unknown	2012-09-21
*	When uniformity analysis is disabled, no procedures (even the kernel entry	Unknown	2012-09-19
*	Uniformity analysis. Patch by Peter Collingbourne.	Unknown	2012-09-18
*	Dualisation modified so that global arrays are not dualised, and group-shared	Unknown	2012-09-18
*	Added creation of source variable pre- and post- conditions.	Egor Kyshtymov	2012-09-16
*	Moved point at which preprocessed output is shown.	Unknown	2012-08-31
*	Shared state is now properly abstracted in requires clauses.	Unknown	2012-08-31
*	Barriers now handled uniformly via bugle_barrier.	Unknown	2012-08-30
*	Added generation of invariants to restrict source location to sensible values.	Egor Kyshtymov	2012-08-28
*	Fixed problem where SOURCE variables were not being generated.	Unknown	2012-08-20
*	Added functionality for race error reporting.	Egor Kyshtymov	2012-08-20
*	Separated race checking into logging and checking calls. This simplifies	Unknown	2012-08-14
*	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
*	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
*	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