debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| \| \| \| \| *	Merge	Nadia Polikarpova	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	Nadia Polikarpova	2012-09-20
\| \| \| \| \| \|\ \| \| \| \| \|_\|/ \| \| \| \|/\| \|
\| \| \| \| \| *	Allow a single != in a calc	Nadia Polikarpova	2012-09-20
\| \| \| * \| \|	Merge	Unknown	2012-09-19
\| \| \| \|\ \ \ \| \| \| \|/ / / \| \| \|/\| \| \|
\| \| \| * \| \|	Boogie: improved parser makefile	Unknown	2012-09-19
\| \| \| \| \| *	Not reusing RelOp parser in CalcOp to avoid the conflict between !in and !	Nadia Polikarpova	2012-09-19
\| \| \| \| \| *	Well-formedness check for calc lines	Nadia Polikarpova	2012-09-19
\| \| \| \| \| *	Allow multiple calc/block statements in a hint. Removed the empty calc test f...	Nadia Polikarpova	2012-09-19
\| \| * \| \| \|	Chalice: Fix bug of computing the function height.	stefanheule	2012-09-19
\| \| * \| \| \|	Merge	stefanheule	2012-09-19
\| \| \|\ \ \ \ \| \| \|/ / / / \| \|/\| \| \| \|
\| \| \| \| \| *	Made verification error message more explicit	Nadia Polikarpova	2012-09-19
\| \| \| \| \| *	Allow empty calc statements	Nadia Polikarpova	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
\| \| * \| \|	Renamed terms into lines (according to the proposal), fixed some contracts	Nadia Polikarpova	2012-09-16
\| \| * \| \|	Added the new keyword (calc) to Util	Nadia Polikarpova	2012-09-16
\| * \| \| \|	Added creation of source variable pre- and post- conditions.	Egor Kyshtymov	2012-09-16
\|/ / / /
\| * \| \|	Error reporting for calculation steps	Nadia Polikarpova	2012-09-14
\| * \| \|	Calc statements: Renamed Steps into Terms; introduced Steps (expressions t<i>...	Nadia Polikarpova	2012-09-14
\| \| \| *	Chalice: Make the triggers for functions so it depends on all dependend predi...	stefanheule	2012-09-14
\| * \| \|	Merge	Nadia Polikarpova	2012-09-14
\| \|\ \ \ \| \|/ / / \|/\| \| \|
\| * \| \|	Pretty-print calc statements	Nadia Polikarpova	2012-09-14
\| \| \| *	Chalice: Extend one test case with more complete specification.	stefanheule	2012-09-13
\| \| \| *	Chalice: Allow the postcondition axiom to be used when checking function spec...	stefanheule	2012-09-13
\| * \| \|	Resolve and clone calc statements; fixed a small grammar bug	Nadia Polikarpova	2012-09-13