debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Chalice: added list segment example	Unknown	2012-09-03
*	Chalice: Move list-revers.chalice test case to examples, and remove failing p...	stefanheule	2012-05-24
*	Merge	Christian Klauser	2012-03-27
\|\
* \|	Update test script shortcuts to work in Powershell (which supplies an absolut...	Christian Klauser	2012-03-27
\| *	Semi-automatic merge.	stefanheule	2012-02-25
\| \|\ \| \|/ \|/\|
\| *	Chalice: update reference output of AssocitationList (to remove bogus fail)	stefanheule	2012-02-25
* \|	Chalice: Added missing reference output for AVLTree examples	mschwerhoff	2011-09-27
* \|	Added Uri Juhasz' AVL-trees	Unknown	2011-09-08
\|/
*	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: 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