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
*	Barrier invariants can now refer to local variables that are uniform.	Unknown	2012-09-26
*	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
*	During dualisation,	Unknown	2012-09-17
*	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
*	A small fix in variable definition analysis.	Unknown	2012-08-29
*	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
*	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
\|\ \ \