debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: change labels to use a generic singly linked list	Jason Koenig	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
* \|	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
* \|	Boogie build succeeded	CodeplexBot	2012-05-30
* \|	extra recursion bound	akashlal	2012-05-30
* \|	Merge	qadeer	2012-05-29
\|\\|
* \|	further refactoring of SI;	qadeer	2012-05-29
\| *	Merge	Unknown	2012-05-29
\| \|\
\| * \|	Dafny: fixed regression tests	Unknown	2012-05-29
\| * \|	Dafny: Added maps to regression tests.	Unknown	2012-05-29
* \| \|	Merge	qadeer	2012-05-29
\|\ \ \ \| \| \|/ \| \|/\|
\| \| *	Dafny: fixed minor map related issues	Unknown	2012-05-29
* \| \|	Removed program argument from VerifyImplementation. It is redundant since th...	qadeer	2012-05-29
\| * \|	GPUVerify: factor the race instrumenter to handle unstructured blocks	Peter Collingbourne	2012-05-29
\| * \|	GPUVerify: mark new work-item constants as non-unique	Peter Collingbourne	2012-05-29
\| \| *	Dafny: Added compilation of finite maps	Unknown	2012-05-25
\| * \|	GPUVerify: in unstructured mode, disable uniformity analysis and return conse...	Peter Collingbourne	2012-05-25
\| * \|	GPUVerify: implement a set of BV operation constructors which insert a functi...	Peter Collingbourne	2012-05-25
\|/ /