debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\| \|\ \ \
\| * \| \| \|	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
\| \|/ /
\| * \|	Merge	qadeer	2012-06-04
\| \|\ \
\| * \| \|	moved class Macro to Absy	qadeer	2012-06-04
\| \| * \|	Chalice build succeeded	CodeplexBot	2012-06-04
\| \|/ / \|/\| \|
* \| \|	Chalice: Add regression test for unfolding expressions in predicates.	stefanheule	2012-06-03
* \| \|	Chalice: Allow unfolding expressions in predicates (this fixes workitem 10223).	stefanheule	2012-06-03
* \| \|	Chalice: Add regression test case for disallowed 'waitlevel' in predicates.	stefanheule	2012-06-03
* \| \|	Chalice: Disallow 'waitlevel' in predicates.	stefanheule	2012-06-03
\|/ /
* \|	When translating an assighment, leave the source of the assignment on the	Unknown	2012-06-02
* \|	Merge	Unknown	2012-06-02
\|\ \
* \| \|	Don't add dummy modules (resulting from a failed load) to the list of modules	Unknown	2012-06-02
\| * \|	Boogie build succeeded	CodeplexBot	2012-06-02
\| * \|	Merge	qadeer	2012-06-01
\| \|\ \
\| * \| \|	changed behavior of InlinedEnsures so that free ensures is skipped unless an ...	qadeer	2012-06-01
\| \| * \|	Merge with dafny_runtime_checking. Essentially, the fixes for free ensures an...	Unknown	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
\| \| * \|	Dafny: Created a branch for runtime checking.	chmaria	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