debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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 counter.chalice test-case.	stefanheule	2012-03-08
\| *	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