debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| * \| \|	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
\|/ / /
* \| \|	Merge	qadeer	2012-05-28
\|\ \ \
* \| \| \|	further refactoring	qadeer	2012-05-28
\| * \| \|	Boogie build succeeded	CodeplexBot	2012-05-29
\|/ / /
* \| \|	more refactoring	qadeer	2012-05-28
* \| \|	Merge	qadeer	2012-05-28
\|\ \ \
* \| \| \|	removed call site simplification from the old SI flow	qadeer	2012-05-28
\| * \| \|	No need for extra attributes in ExtractLoops	akashlal	2012-05-28
\| * \| \|	updating FindLeastToVerify to the new flow	akashlal	2012-05-28
\|/ / /
* \| \|	Merge	akashlal	2012-05-26
\|\ \ \
\| * \| \|	Better interface for adding skipped calls, and	akashlal	2012-05-26
* \| \| \|	Boogie build succeeded	CodeplexBot	2012-05-26
\|/ / /
* \| \|	Merge	qadeer	2012-05-25
\|\ \ \
* \| \| \|	new stratified inlining (initial prototype)	qadeer	2012-05-25
\| * \| \|	Fixed the regression for deterministicExtractLoops.	Unknown	2012-05-25
\| \| * \|	Dafny: added finite maps	Unknown	2012-05-25
\| * \| \|	Merge	Unknown	2012-05-25
\| \|\ \ \
\| * \| \| \|	Adding an option for deterministicExtractLoops, that uses an alternate way to...	Unknown	2012-05-25
\| \| * \| \|	GPUVerify: declarations of barrier, work-item constants no longer required; G...	Peter Collingbourne	2012-05-25
\| \| * \| \|	GPUVerify: add reference to Graph project	Peter Collingbourne	2012-05-25
\| \| * \| \|	GPUVerify: add a MakeDual for unstructured blocks	Peter Collingbourne	2012-05-25
\| \| * \| \|	GPUVerify: factor out the Cmd dualiser	Peter Collingbourne	2012-05-24
\| \| * \| \|	GPUVerify: add block predicator	Peter Collingbourne	2012-05-25