debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Chalice: Add comment to a broken test-case.	stefanheule	2011-08-04
*	Chalice: Add regression tests for all fixed bugs and separate the tests in 'e...	stefanheule	2011-08-03
*	Chalice: only show warning about misleading smoke warnings if there are actua...	stefanheule	2011-08-03
*	Chalice: Check definedness of where-clause of channels (was missing before), ...	stefanheule	2011-07-22
*	Chalice: Improve smoke testing: look for preconditions of functions, predicat...	stefanheule	2011-07-22
*	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: Fix all three copyless message passing programs. There were problems...	stefanheule	2011-07-19
*	Chalice: Fix batch file problem and update reference output.	stefanheule	2011-07-19
*	Chalice: Smoke testing to find unreachable code, preconditions that are equiv...	stefanheule	2011-07-18
*	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: New test script to execute all tests (in all folder) at once. Test s...	stefanheule	2011-07-07
*	Chalice: Error message of the valid-permission-check often included '<undefin...	stefanheule	2011-07-07
*	Chalice: Allow _ as wildcard in the eval construct for parameters. Usage is d...	stefanheule	2011-07-07
*	Chalice: Four new interesting Chalice examples (added to test suite with the ...	stefanheule	2011-07-05
*	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