debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵	Rustan Leino	2013-03-05
\| \| \| \|	Codeplex repositories.
*	Chalice: Update reference output for all test-cases due to recent change in ↵	stefanheule	2012-09-11
\| \| \| \|	the output.
*	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.