debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Chalice: Fix resolver bug, and add a test case for it.	stefanheule	2012-03-13
*	Chalice: New test case to cover internally found bug (already fixed by change...	stefanheule	2012-03-13
*	Chalice: Adapt test and reference output to recent changes (previously failin...	stefanheule	2012-03-13
*	Chalice: Disable refinement tests.	stefanheule	2012-03-13
*	Chalice: two new test cases to test the predicates.	stefanheule	2012-03-12
*	Chalice: two new tests to check the predicate fix.	stefanheule	2012-03-12
*	Chalice: Fix counter.chalice test-case.	stefanheule	2012-03-08
*	Semi-automatic merge.	stefanheule	2012-02-25
\|\
* \|	Chalice: add missing reference files for two tests.	stefanheule	2012-02-25
* \|	Chalice: update test case to correctly reflect current Chalice state.	stefanheule	2012-02-25
* \|	Chalice: New test case for predicates.	stefanheule	2012-02-25
* \|	Chalice: New regression test case.	stefanheule	2012-02-25
* \|	Chalice: Test scripts for predicate tests.	stefanheule	2012-02-25
* \|	Chalice: Include predicate tests in runalltests.bat.	stefanheule	2012-02-25
* \|	Chalice: Test case for negative permission in the secondary mask.	stefanheule	2012-02-25
* \|	Chalice: Add testcase for mutually recursive predicates (failed before the la...	stefanheule	2012-02-25
* \|	Chalice: update reference output of AssocitationList (to remove bogus fail)	stefanheule	2012-02-25
* \|	Chalice: update reference output to new error messages.	stefanheule	2012-02-25
\| *	Chalice: fix all refinement regression tests	Kuat Yessenov	2011-12-23
\| *	Chalice: partial fixes to the broken refinement extension regression tests.	Kuat Yessenov	2011-12-21
\| *	Chalice: Added missing reference output for AVLTree examples	mschwerhoff	2011-09-27
\| *	Added Uri Juhasz' AVL-trees	Unknown	2011-09-08
\| *	Chalice: Changed tests/runalltests.bat such that additional parameters can be...	mschwerhoff	2011-08-15
\|/
*	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