debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Update test script shortcuts to work in Powershell (which supplies an absolut...	Christian Klauser	2012-03-27
*	Chalice: only show warning about misleading smoke warnings if there are actua...	stefanheule	2011-08-03
*	Chalice: Only show the "first" smoke warning, as once the prover is able to s...	stefanheule	2011-07-21
*	Chalice: Use "/smoke" for the test suite by default to ensure test quality. U...	stefanheule	2011-07-20
*	Chalice: Also exhale correctly in two steps for multiple contracts (e.g. two ...	stefanheule	2011-07-18
*	Chalice: Fix a problem with permission expressions. Prevsiously, exhaling "ac...	stefanheule	2011-07-18
*	Chalice: Error message of the valid-permission-check often included '<undefin...	stefanheule	2011-07-07
*	Chalice: Completely switch to new testing scripts (more flexible and fine-gra...	stefanheule	2011-07-05
*	Chalice: New permission model that provides more abstraction and more flexibi...	stefanheule	2011-07-01