debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Made invariant of class 'StmtList' robust by:	wuestholz	2015-01-09
*	Made invariant of class 'QKeyValue' robust by:	wuestholz	2015-01-09
*	Made invariant of class 'EEDTemplate' robust by:	wuestholz	2015-01-09
*	Made invariant of class 'Block' robust by:	wuestholz	2015-01-09
*	Made invariant of class CommandLineOptions robust by:	wuestholz	2015-01-09
*	Made 2 invariants of class 'CommandLineOptions' robust by:	wuestholz	2015-01-09
*	Minor changes to the "Checked" build configuration	wuestholz	2015-01-09
*	Updated to Staged Houdini	Ally Donaldson	2015-01-08
*	Minor changes	wuestholz	2015-01-02
*	Added a test and a todo.	wuestholz	2015-01-02
*	Worked on more native support for partially-verified assertions.	wuestholz	2014-12-28
*	Minor change in verification result caching (extracted functions)	wuestholz	2014-12-28
*	Merging changes from 0biha/BoogieInvariantFixesII	wuestholz	2014-12-27
\|\
* \	Merge	0biha	2014-12-26
\|\ \
\| \| *	Merge	0biha	2014-12-26
\| \| \|\ \| \| \|/ \| \|/\|
\| \| *	Minor precondition fix	0biha	2014-12-26
\| * \|	Minor change	wuestholz	2014-12-26
\| * \|	Fixed a postcondition.	wuestholz	2014-12-26
\| * \|	strengthened type checking	qadeer	2014-12-26
\| \| *	Replaced properties Lhss_NRO and Rhss_NRO by methods SetLhs and SetRhs.	0biha	2014-12-25
\| \| *	Made some compatibility fixes after running the unit tests.	0biha	2014-12-24
\| \| *	Made invariant of class 'CommandLineOptions' robust by changing the design	0biha	2014-12-24
\| \| *	Backed out changeset: 4103d2e9c2ef	0biha	2014-12-24
\| \| *	Scanner generation with Coco	0biha	2014-12-24
\| \| *	Made invariant of class 'CommandLineOptions' robust by changing the design	0biha	2014-12-23
\| \| *	Made invariant of class 'CommandLineOptions' robust by changing the design	0biha	2014-12-23
\| \| *	Made invariant of class 'CommandLineOptions' robust by	0biha	2014-12-23
\| \| *	Made invariant of class 'CommandLineOptionEngine' robust by	0biha	2014-12-23
\| \| *	Made invariant of class 'Scanner' robust by changing the design (replaced pub...	0biha	2014-12-23
\| \| *	Made invariant of class 'ProcedureSummaryEntry' robust by changing the design	0biha	2014-12-23
\| \| *	Made invariant of class 'HavocCmd' robust by changing the design (replaced pu...	0biha	2014-12-19
\| \| *	Made 2 invariants of type 'StateCmd' robust by changing the design	0biha	2014-12-19
\| \| *	Made 2 invariants of type 'AssignCmd' robust by	0biha	2014-12-19
\| \| *	Made invariant of class 'CommandLineOptionEngine' robust by changing the desi...	0biha	2014-12-19
\| \| *	Made invariant of class 'Ensures' robust by changing the design (replaced pub...	0biha	2014-12-19
\| * \|	changed type checking of yield procedures so that they can only call other yi...	qadeer	2014-12-18
\| \|/
\| *	more work on reducing call stack consumption	qadeer	2014-12-18
\| *	some refactoring to separate the concept of shared variables under refinement...	qadeer	2014-12-17
\| *	Merge	qadeer	2014-12-16
\| \|\
\| * \|	patched two occurrences of StackOverflowException on benchmarks from IronClad	qadeer	2014-12-16
\| \| *	Added an annotation, :split_here, for predicate statements.	Bryan Parno	2014-12-16
\| \|/
* \|	Merge	0biha	2014-12-16
\|\\|
\| *	Fixed a precondition.	wuestholz	2014-12-16
\| *	patched last check in	qadeer	2014-12-15
\| *	1. made variable introduction layer explicit in the test cases	qadeer	2014-12-15
\| *	patched an expected output	qadeer	2014-12-15
\| *	systematic renaming of phase to layer	qadeer	2014-12-15
* \|	Made 2 invariants of class 'Sequential' robust by changing the design (replac...	0biha	2014-12-15
* \|	Made invariant of class 'Choice' robust by changing the design (replaced publ...	0biha	2014-12-15
* \|	Made 2 invariants of class 'TypepedIdent' robust by changing the design (repl...	0biha	2014-12-15