debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Chalice: Add regression test for unfolding expressions in predicates.	stefanheule	2012-06-03
*	Chalice: Add regression test case for disallowed 'waitlevel' in predicates.	stefanheule	2012-06-03
*	Merge	Christian Klauser	2012-03-27
\|\
* \|	Update test script shortcuts to work in Powershell (which supplies an absolut...	Christian Klauser	2012-03-27
\| *	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: New regression test case.	stefanheule	2012-02-25
\| *	Chalice: update reference output to new error messages.	stefanheule	2012-02-25
\|/
*	Chalice: Add regression tests for all fixed bugs and separate the tests in 'e...	stefanheule	2011-08-03