debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	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 failin...	stefanheule	2012-03-13
*	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 la...	stefanheule	2012-02-25