debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	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
*	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
\| *	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
\|\ \ \
* \| \| \|	Dafny: change labels to use a generic singly linked list	Jason Koenig	2012-06-06
\| * \| \|	GPUVerify: fix bug which caused us to log accesses at the end of the block, r...	Peter Collingbourne	2012-06-06
\|/ / /
* \| \|	Boogie: add /printCFG command line option, which prints each implementation's...	Peter Collingbourne	2012-06-06
* \| \|	Bug fix with mvInfo during VCGen	akashlal	2012-06-06
* \| \|	update to SI	qadeer	2012-06-04
\|/ /
* \|	moved class Macro to Absy	qadeer	2012-06-04
* \|	Merge	qadeer	2012-06-01
\|\ \
* \| \|	changed behavior of InlinedEnsures so that free ensures is skipped unless an ...	qadeer	2012-06-01
\| * \|	Merge with default	Unknown	2012-06-01
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	1. Fix for free ensures in inlined procedures. Becomes a skip instead of an a...	Unknown	2012-06-01
* \| \|	GPUVerify: use Concat instead of PureCollections.Sequence.operator+	Peter Collingbourne	2012-05-31
* \| \|	GPUVerify: resolve barrier implementation in unstructured mode	Peter Collingbourne	2012-05-31
* \| \|	GPUVerify: use a Formal for procedure predicates	Peter Collingbourne	2012-05-31
\|/ /
* \|	Merge	Unknown	2012-05-31
\|\ \
* \| \|	Dafny: Added map comprehensions and updated display syntax	Unknown	2012-05-31
\| * \|	GPUVerify: teach analyses, dualiser and race instrumenter about assigns with ...	Peter Collingbourne	2012-05-31
\| * \|	added FindLeastToVerify to StratfiedVCGenBase as an abstract method	qadeer	2012-05-30
\| * \|	moved a couple of overrides from StratifiedVCGen to StratifiedVCGenBase	qadeer	2012-05-30
\| * \|	Merge	qadeer	2012-05-30
\| \|\ \
\| * \| \|	added support for recordProcCallSites to new SI	qadeer	2012-05-30
\| \| * \|	GPUVerify: implement assume stealing in block predicator	Peter Collingbourne	2012-05-30
\| \|/ /
\| * \|	GPUVerify: disable barrier divergence check in unstructured mode for now	Peter Collingbourne	2012-05-30
\| * \|	GPUVerify: have shared state abstraction, race instrumenter reuse blocks	Peter Collingbourne	2012-05-30
\| * \|	GPUVerify: factor shared state abstraction for unstructured blocks	Peter Collingbourne	2012-05-29
\| * \|	extra recursion bound	akashlal	2012-05-30
\| * \|	Merge	qadeer	2012-05-29
\| \|\ \ \| \|/ / \|/\| \|