debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	stefanheule	2012-09-24
\|\
* \|	Chalice: New regression test-case.	stefanheule	2012-09-24
* \|	Chalice: Add new regression test case.	stefanheule	2012-09-24
\| *	added output for a test case	Unknown	2012-09-24
\| *	Merge	Unknown	2012-09-21
\| \|\ \| \|/ \|/\|
\| *	Added linked list Chalice example	Unknown	2012-09-21
* \|	Chalice: New regression tests for fixed workitems 10189 and 10208.	stefanheule	2012-09-20
* \|	Chalice: New regression test case from workitem 10221.	stefanheule	2012-09-20
\|/
*	Chalice: Added a test case (general-tests/triggers) to test the trigger-gener...	Unknown	2012-09-18
*	Chalice: Updated linkedlist.chalice to include quantified specification, but ...	Unknown	2012-09-18
*	Chalice: Extend one test case with more complete specification.	stefanheule	2012-09-13
*	Chalice: Update reference file for a test (a recent improvement makes the ver...	stefanheule	2012-09-13
*	Chalice: Test case for permissions in function postconditions.	stefanheule	2012-09-12
*	Chalice: Also add time information for reg_test, reg_test_all and runalltests.	stefanheule	2012-09-11
*	Chalice: Update reference output for all test-cases due to recent change in t...	stefanheule	2012-09-11
*	Chalice: Adapt test scripts to not output timing information.	stefanheule	2012-09-11
*	Chalice: implemented the final cases of the "inside" feature for predicates. ...	Unknown	2012-09-08
*	Chalice: added list segment example	Unknown	2012-09-03
*	Intermediate version of implementation with two masks per predicate. #m_calc ...	Unknown	2012-08-09
*	Added variant of list reverse example (see tests/examples/list-reverse.chalic...	Unknown	2012-07-26
*	Automatic merge.	stefanheule	2012-06-07
\|\
\| *	Chalice: Add regression test for unfolding expressions in predicates.	stefanheule	2012-06-03
\| *	Chalice: Add regression test case for disallowed 'waitlevel' in predicates.	stefanheule	2012-06-03
\| *	Chalice: Move list-revers.chalice test case to examples, and remove failing p...	stefanheule	2012-05-24
\| *	Chalice: Added list reversal example, along with variants with extra unfold/f...	Unknown	2012-05-21
* \|	Chalice: Fix reference output of modified test (line number change).	stefanheule	2012-05-20
* \|	Automatic merge.	stefanheule	2012-05-18
\|\\|
* \|	Chalice: Remove precondition that was previously necessary, but not any more.	stefanheule	2012-05-18
* \|	Chalice: Update test reference output to account for an improvement in Chalice.	stefanheule	2012-05-17
\| *	Merge	Christian Klauser	2012-03-27
\| \|\ \| \|/ \|/\|
\| *	Update test script shortcuts to work in Powershell (which supplies an absolut...	Christian Klauser	2012-03-27
* \|	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