debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Chalice: Fix reference output of modified test (line number change).	stefanheule	2012-05-20
\|
*	Chalice: Remove precondition that was previously necessary, but not any more.	stefanheule	2012-05-18
\|
*	Chalice: Update test reference output to account for an improvement in Chalice.	stefanheule	2012-05-17
\|
*	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).