debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	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 be...	mschwerhoff	2011-08-15
\|/
*	Chalice: Add regression tests for all fixed bugs and separate the tests in 'e...	stefanheule	2011-08-03
*	Chalice: New test script to execute all tests (in all folder) at once. Test s...	stefanheule	2011-07-07