debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Chalice: Move list-revers.chalice test case to examples, and remove failing ↵	stefanheule	2012-05-24
\| \| \| \|	parts of that test case (they are now reported as workitem 10221). Also, the assertion is now written as a postcondition.
*	Chalice: Added list reversal example, along with variants with extra ↵	Unknown	2012-05-21
\| \| \| \|	unfold/fold pairs which currently confuse the encoding.
*	Chalice: Adapt test and reference output to recent changes (previously ↵	stefanheule	2012-03-13
\| \| \| \|	failing test now verifies; i.e. Chalice is less incomplete).
*	Chalice: two new test cases to test the predicates.	stefanheule	2012-03-12
\|
*	Chalice: two new tests to check the predicate fix.	stefanheule	2012-03-12
\|
*	Chalice: add missing reference files for two tests.	stefanheule	2012-02-25
\|
*	Chalice: update test case to correctly reflect current Chalice state.	stefanheule	2012-02-25
\|
*	Chalice: New test case for predicates.	stefanheule	2012-02-25
\|
*	Chalice: Test scripts for predicate tests.	stefanheule	2012-02-25
\|
*	Chalice: Test case for negative permission in the secondary mask.	stefanheule	2012-02-25
\|
*	Chalice: Add testcase for mutually recursive predicates (failed before the ↵	stefanheule	2012-02-25
	last commit).