debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Switch bvd to MSIL (instead of x86) target architecture	stobies	2012-03-26
*	Emit of invariants now prints out the invariant attributes also	qadeer	2012-03-26
*	Merge	Unknown	2012-03-26
\|\
\| *	Chalice: Added /boogieOpt:noinfer to chalice.bat in order to run Boogie witho...	mschwerhoff	2012-03-26
* \|	Started on live variable analysis in GPUVerify	Unknown	2012-03-26
\|/
*	Added "may be power of two" analysis.	Unknown	2012-03-25
*	Added "may be tid" analysis.	Unknown	2012-03-24
*	Fixed some bugs in uniformity analysis - now passes GPUVerify test suite.	Unknown	2012-03-24
*	Using uniform expression analysis in GPUVerify - also did some major refactor...	Unknown	2012-03-24
*	Merge	Unknown	2012-03-23
\|\
* \|	Added uniform expression analysis, and started using it to do less predication.	Unknown	2012-03-23
\| *	added attributes to loop invariants	qadeer	2012-03-23
* \|	Do not generate equality candidates for variables that are not in the mod set.	Unknown	2012-03-22
\|/
*	Cleaned up some GPUVerify code.	Unknown	2012-03-22
*	Added the option to let user determine whether or not GPUVerify should add in...	Unknown	2012-03-19
*	Merge	Unknown	2012-03-18
\|\
* \|	Support for arrays with arbitrary indices	Unknown	2012-03-18
\| *	more type checking for datatypes	qadeer	2012-03-18
\|/
*	Improved kernel precondition generation	Unknown	2012-03-17
*	Merge	Unknown	2012-03-16
\|\
* \|	Added support for further annotations	Unknown	2012-03-16
\| *	Dafny: support assign-such-that in var declarations in refinements	Unknown	2012-03-15
\| *	Dafny: fixed lack of assign-such-that restriction in parallel statement	Unknown	2012-03-15
\| *	Dafny: added assign-such-that statements; syntax: x,y,a[i],o.f :\| Expr;	Unknown	2012-03-15
\| *	Dafny: added StoreAndRetrieve refinement example	Unknown	2012-03-15
\| *	Chalice build succeeded, 73 test(s) failed	CodeplexBot	2012-03-14
\| *	Chalice: Fix resolver bug, and add a test case for it.	stefanheule	2012-03-13
\| *	Chalice: New test case to cover internally found bug (already fixed by change...	stefanheule	2012-03-13
\| *	Chalice: Fix tracking of folded predicates under old().	stefanheule	2012-03-13
\| *	Chalice: By default use the new stdin method to pass the Boogie program to Bo...	stefanheule	2012-03-13
\| *	Chalice: Do not print empty conditionals.	stefanheule	2012-03-13
\| *	Chalice: Adapt test and reference output to recent changes (previously failin...	stefanheule	2012-03-13
\| *	Chalice: Make sure secondary permissions stay positive.	stefanheule	2012-03-13
\| *	Chalice: Disable refinement tests.	stefanheule	2012-03-13
\| *	Chalice: Fix problem introduced by backing out changeset 622fb6995ea4 (namely...	stefanheule	2012-03-13
\| *	Backed out changeset: 622fb6995ea4	stefanheule	2012-03-13
\| *	Boogie: Simplified (and liberalized) parsing of string literals as attribute ...	Unknown	2012-03-12
\| *	Boogie: temporarily disabled the "datatypes" test cases, until a null derefer...	Unknown	2012-03-12
\| *	Chalice: two new test cases to test the predicates.	stefanheule	2012-03-12
\| *	Merge	stefanheule	2012-03-12
\| \|\
\| \| *	Merge	qadeer	2012-03-12
\| \| \|\
\| \| * \|	updated Boogie strings so that they can refer to \" (and more)	qadeer	2012-03-12
\| * \| \|	Chalice: two new tests to check the predicate fix.	stefanheule	2012-03-12
\| \| \| *	Boogie build succeeded	CodeplexBot	2012-03-12
\| \| \|/
\| \| *	make the call to ProcessDataTypeConstructors in the right place	qadeer	2012-03-11
\| * \|	Chalice: Fix treatment of 'unfolding' w.r.t. secondary permissions.	stefanheule	2012-03-11
\| * \|	Chalice: Simpler approach to tracking secondary permissions.	stefanheule	2012-03-11
\| \| *	further sanitization of string in :value attribute	qadeer	2012-03-11
\| \| *	Merge	qadeer	2012-03-10
\| \| \|\
\| \| * \|	houdini cleanup continued	qadeer	2012-03-10