debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Fixed bug with uniformity analysis for havoc. Allowed barrier invariants to	Unknown	2012-09-28
*	Barrier invariants can now refer to local variables that are uniform.	Unknown	2012-09-26
*	Merge	Unknown	2012-09-24
\|\
* \|	Fixed issue with uniformity analysis and block merging. Uniformity analysis	Unknown	2012-09-24
\| *	Merge	stefanheule	2012-09-24
\| \|\
\| * \|	Chalice: New regression test-case.	stefanheule	2012-09-24
\| * \|	Chalice: Fix type-checker incompleteness.	stefanheule	2012-09-24
\| * \|	Chalice: Add new regression test case.	stefanheule	2012-09-24
\| * \|	Chalice: Improve code to generate triggers for framing axiom.	stefanheule	2012-09-24
\| * \|	Chalice: Fix triggers for framing axiom of known-folded locations.	stefanheule	2012-09-24
\| \| *	Merge	Egor Kyshtymov	2012-09-24
\| \|/\| \|/\| \|
\| \| *	Added detailed trace functionality.	Egor Kyshtymov	2012-09-24
* \| \|	Merge	Unknown	2012-09-24
\|\ \ \
* \| \| \|	Support for barrier invariants.	Unknown	2012-09-24
\| * \| \|	Merge	Unknown	2012-09-24
\| \|\ \ \
\| * \| \| \|	added output for a test case	Unknown	2012-09-24
\| \| * \| \|	DafnyExtension: adding some missing keywords (for imports)	Unknown	2012-09-21
\| \|/ / / \|/\| \| \|
\| \| * \|	Chalice: Fix soundness issue about when it is sound to keep knowledge about p...	stefanheule	2012-09-21
\| \| * \|	Chalice: Alternative approach to frame known-folded locations; use quantifica...	stefanheule	2012-09-21
* \| \| \|	Fixed a bug with empty big blocks.	Unknown	2012-09-21
* \| \| \|	Merge	Unknown	2012-09-21
\|\\| \| \|
* \| \| \|	Added support for invariants about shared state.	Unknown	2012-09-21
\| * \| \|	Merge	Unknown	2012-09-21
\| \|\\| \|
\| * \| \|	Added linked list Chalice example	Unknown	2012-09-21
\| \| * \|	Chalice: Update release script to adapt to new scala version.	stefanheule	2012-09-21
\| \| * \|	Merge	stefanheule	2012-09-20
\| \| \|\ \
\| \| * \| \|	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
\| \|/ / /
\| \| * \|	Merge	Unknown	2012-09-19
\| \| \|\ \ \| \| \|/ / \| \|/\| \|
\| \| * \|	Boogie: improved parser makefile	Unknown	2012-09-19
\| * \| \|	Chalice: Fix bug of computing the function height.	stefanheule	2012-09-19
\| * \| \|	Merge	stefanheule	2012-09-19
\| \|\ \ \ \| \|/ / / \|/\| \| \|
* \| \| \|	When uniformity analysis is disabled, no procedures (even the kernel entry	Unknown	2012-09-19
\| * \| \|	Chalice: Use the framing function instead of the limited function in triggers...	stefanheule	2012-09-19
* \| \| \|	Merge	Unknown	2012-09-18
\|\ \ \ \
* \| \| \| \|	Uniformity analysis. Patch by Peter Collingbourne.	Unknown	2012-09-18
\| \| * \| \|	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: Updated trigger generation to duplicate the entire quantifier in cas...	Unknown	2012-09-18
\| * \| \| \|	Dafny: Updated a test that would take a long time (almost 2h) to verify with ...	wuestholz	2012-09-18
\| \| \|/ / \| \|/\| \|
\| \| * \|	Chalice: modified trigger generation for quantifiers to include the use of ad...	Unknown	2012-09-18
* \| \| \|	Dualisation modified so that global arrays are not dualised, and group-shared	Unknown	2012-09-18
\| * \| \|	Dafny: some test cases for "calc" (very cool!)	Unknown	2012-09-17
\| \| * \|	Automatic Merge	Unknown	2012-09-17
\| \| \|\ \
\| \| * \| \|	Chalice: modified Tr() to only generate a real list of statements when it's g...	Unknown	2012-09-17
\| * \| \| \|	Merge	Nadia Polikarpova	2012-09-17
\| \|\ \ \ \ \| \|/ / / / \|/\| \| \| \|
\| * \| \| \|	Allow custom operators on a line	Nadia Polikarpova	2012-09-17
* \| \| \| \|	During dualisation,	Unknown	2012-09-17
\| \|_\|_\|/ \|/\| \| \|
\| * \| \|	Allow several calculation operators (for the whole calculation)	Nadia Polikarpova	2012-09-16
\| * \| \|	Allowing calc as hint (without braces)	Nadia Polikarpova	2012-09-16