debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...	Rustan Leino	2013-03-05
*	added output for a test case	Unknown	2012-09-24
*	Added linked list Chalice example	Unknown	2012-09-21
*	Chalice: Update reference output for all test-cases due to recent change in t...	stefanheule	2012-09-11
*	Intermediate version of implementation with two masks per predicate. #m_calc ...	Unknown	2012-08-09
*	Added variant of list reverse example (see tests/examples/list-reverse.chalic...	Unknown	2012-07-26
*	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