debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\| \| *	Boogie build succeeded	CodeplexBot	2012-03-11
\| \|/ \|/\|
* \|	Chalice: Command line option /noBplFile that directly passes the intermediate...	stefanheule	2012-03-10
* \|	Merge	Rustan Leino	2012-03-09
\|\ \
* \| \|	Dafny: fixed build error	Rustan Leino	2012-03-09
\| * \|	Boogie build failed	CodeplexBot	2012-03-10
\|/ /
* \|	Merge	Unknown	2012-03-09
\|\ \
* \| \|	Boogie: map the given filename stdin.bpl to standard input	Unknown	2012-03-09
\| * \|	Merge	Rustan Leino	2012-03-09
\| \|\ \
\| \| \| *	added breadcrumb to the beginning of each method	qadeer	2012-03-09
\| \| \|/
\| \| *	Chalice: Temporarily mark refinment extension as unsupported.	stefanheule	2012-03-09
\| \| *	Chalice: Catch errors during type-checking and parsing, just like for the tra...	stefanheule	2012-03-09
\| \| *	Automatic merge.	stefanheule	2012-03-09
\| \| \|\ \| \|_\|/ \|/\| \|
\| * \|	Dafny: fixed compilation problem with names in _default module	Rustan Leino	2012-03-08
\|/ /
\| *	Chalice: Fix counter.chalice test-case.	stefanheule	2012-03-08
\| *	Chalice: Remove artifact from old model of handling permissions and havocing.	stefanheule	2012-03-08
\| *	Chalice: Add additional assumption about "held" field for "holds(o)" construc...	stefanheule	2012-03-08
\| *	Chalice: Fix problem with "held" ghost field, which is managed without permis...	stefanheule	2012-03-08
* \|	Dafny: removed a now-inferred type-parameter instantiation in a test file	Unknown	2012-03-07
* \|	Merge	Rustan Leino	2012-03-07
\|\ \
* \| \|	Dafny: added ghost modules (the meaning is simply that such a module will not...	Rustan Leino	2012-03-07
\| * \|	Merge	mschwerhoff	2012-03-07
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Chalice: Modified permission scaling when rd-acquiring/releasing monitors such	mschwerhoff	2012-03-07
* \| \|	Dafny: added experimental feature {:autocontracts} to de-clutter idiomatic sp...	Unknown	2012-03-05
* \| \|	Race checking assertions are now added as invariants and pre/post conditions ...	Unknown	2012-03-05
* \| \|	Support for __all and __at_most_one annotations	Unknown	2012-03-04
* \| \|	Merge	Unknown	2012-03-04
\|\ \ \