debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	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
* \| \|	Dafny: cleaned up test scripts a little	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
* \| \| \|	Dafny: added another version of the majority finding algorithm to the test suite	Unknown	2012-06-12
\|/ / /
\| * /	GPUVerify: the non-uniform loop invariant is not a candidate invariant	Peter Collingbourne	2012-06-12
\|/ /
* \|	Merge	Unknown	2012-06-12
\|\ \
* \| \|	Dafny: beefed up allocation axioms for boxes stored in fields	Unknown	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: added some test programs	Rustan Leino	2012-06-08
* \|	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
* \|	Chalice build succeeded	CodeplexBot	2012-06-08
\|/
*	Merge	qadeer	2012-06-07
\|\
* \|	final (hopefully) fix to new SI	qadeer	2012-06-07
\| *	Boogie build succeeded	CodeplexBot	2012-06-08
\|/
*	testing a fix in SI	qadeer	2012-06-07
*	Merging again	Ken McMillan	2012-06-07
\|\