debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Merge	Christian Klauser	2012-03-27
\|\
* \|	Update test script shortcuts to work in Powershell (which supplies an ↵	Christian Klauser	2012-03-27
\| \| \| \| \| \| \| \|	absolute path as %0 instead of just the scripts name)
\| *	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 ↵	stefanheule	2011-08-03
	'examples' into "read" examples and general tests.