debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\| *	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
\|\
* \|	GPUVerify: have StripThreadIdentifiers deal properly with identifiers contain...	Peter Collingbourne	2012-06-07
* \|	GPUVerify: block predicator: use the name '_P' for the procedure predicate fo...	Peter Collingbourne	2012-06-07
* \|	GPUVerify: re-introduce the non-divergence check in unstructured mode	Peter Collingbourne	2012-06-07
* \|	GPUVerify: emit assumes for backedges	Peter Collingbourne	2012-06-07
* \|	GPUVerify: refactor candidate invariant generators and analyses to use regions	Peter Collingbourne	2012-06-07
* \|	Automatic merge.	stefanheule	2012-06-07
\|\ \
* \| \|	Chalice: Remove IsGoodState as it is not needed and causes problems in certai...	stefanheule	2012-06-07
\| \| *	Trying to merge with recent changes, failing.	Ken McMillan	2012-06-05
\| \| \|\
\| \| \| *	Some changes to support expanded use of z3api.	Ken McMillan	2012-06-05
\| * \| \|	GPUVerify: recognise offsets in forms other than that produced by the old fro...	Peter Collingbourne	2012-06-01
\| * \| \|	GPUVerify: have dualiser reuse blocks	Peter Collingbourne	2012-06-07
\| * \| \|	GPUVerify: add newly created barrier procedures to resolution context	Peter Collingbourne	2012-06-07
\| * \| \|	Merge	Jason Koenig	2012-06-06
\| \|\ \ \