debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: Implemented abstract modules	Jason Koenig	2012-06-26
*	Merge	Jason Koenig	2012-06-19
\|\
* \|	Dafny: disallow declare identifiers starting with underscore (_)	Jason Koenig	2012-06-19
* \|	Dafny: Added nested modules	Jason Koenig	2012-06-19
\| *	Merge	qadeer	2012-06-18
\| \|\
\| \| *	Backed out changeset: 7c8e7338652b	qadeer	2012-06-18
\| * \|	Fix line endings	Peter Collingbourne	2012-06-18
\| * \|	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	qadeer	2012-06-17
\|/\|
\| *	an experiment trying to get predication into Boogie	qadeer	2012-06-17
* \|	Dafny: fixed parsing bug.	Jason Koenig	2012-06-15
* \|	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
*	Merge	Unknown	2012-06-14
\|\
* \|	Dafny: in compiler, respect C#'s different scoping rules and lack of support ...	Unknown	2012-06-14
* \|	Merge	Unknown	2012-06-14
\|\ \
* \| \|	Dafny: fixed a couple of compiler bugs	Unknown	2012-06-14
\| \| *	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
\| \| *	Merge	Unknown	2012-06-14
\| \| \|\ \| \| \|/ \| \|/\|
\| \| *	Started work on inter-group race checking.	Unknown	2012-06-14
\| * \|	Merge	Jason Koenig	2012-06-13
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Dafny: allow parallel assignments to assign to the same LHS if the RHS match.	Jason Koenig	2012-06-13
* \| \|	Merge	Unknown	2012-06-13
\|\\| \|
* \| \|	Dafny: Changed the semantics of the assign-such-that statement "x :\| P;" to c...	Unknown	2012-06-13
\| * \|	Merge	Jason Koenig	2012-06-13
\| \|\ \
\| * \| \|	Dafny: liberalized equality to work when the types could possibly be the same	Jason Koenig	2012-06-13
\|/ / /
\| * /	GPUVerify: the non-uniform loop invariant is not a candidate invariant	Peter Collingbourne	2012-06-12
\|/ /
* \|	deleted an unused class	qadeer	2012-06-12
* \|	Merge	qadeer	2012-06-12
\|\ \
* \| \|	refactoring in SI	qadeer	2012-06-12
\| * \|	Dafny: allow types to be qualified with the name of the module that declares ...	Unknown	2012-06-11
\| * \|	Dafny: fixed bug in type cloning, as part of refinement machinery	Unknown	2012-06-11
\| * \|	Dafny: removed support for the old keyword "unlimited" (all functions are lim...	Unknown	2012-06-11
\| * \|	GPUVerify: emit non-uniform loop candidate invariant	Peter Collingbourne	2012-06-11
\| * \|	GPUVerify: emit "uniform loop" candidate invariant	Peter Collingbourne	2012-06-11
\| * \|	GPUVerify: dualiser: preserve attributes of assert cmd	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
\| \|/
* \|	Merge	qadeer	2012-06-10
\|\\|
* \|	1. changed new SI implemnetation so that it performs substitution for call sites	qadeer	2012-06-10
\| *	Dafny/Boogie/BVD: made Dafny plug-in for BVD work again	Rustan Leino	2012-06-08
\| *	GPUVerify: teach the array control flow analyser to handle unstructured programs	Peter Collingbourne	2012-06-08
\| *	GPUVerify: if one input file is supplied, choose output file name more intell...	Peter Collingbourne	2012-06-08
\| *	GPUVerify: fix line endings	Peter Collingbourne	2012-06-08
\|/
*	final (hopefully) fix to new SI	qadeer	2012-06-07
*	testing a fix in SI	qadeer	2012-06-07