debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Chalice: Disable refinement tests.	stefanheule	2012-03-13
\|
*	Semi-automatic merge.	stefanheule	2012-02-25
\|\
* \|	Chalice: Include predicate tests in runalltests.bat.	stefanheule	2012-02-25
\| \|
\| *	Chalice: fix all refinement regression tests	Kuat Yessenov	2011-12-23
\| \|
\| *	Chalice: Changed tests/runalltests.bat such that additional parameters can ↵	mschwerhoff	2011-08-15
\|/ \| \| \|	be passed to Chalice
*	Chalice: Add regression tests for all fixed bugs and separate the tests in ↵	stefanheule	2011-08-03
\| \| \| \|	'examples' into "read" examples and general tests.
*	Chalice: New test script to execute all tests (in all folder) at once. Test ↵	stefanheule	2011-07-07
	scripts now set the errorlevel to the number of failed tests.