debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| \| \| *	Made invariant of class 'Trigger' robust by:	wuestholz	2015-01-09
\| \| \| *	Made invariant of class 'StmtList' robust by:	wuestholz	2015-01-09
\| \| \| *	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
\|/ /
\| *	Tiny change ('Trigger' class)	0biha	2015-01-08
* \|	Updated to Staged Houdini	Ally Donaldson	2015-01-08
\| *	Fixed a null reference problem in class 'Constant'.	0biha	2015-01-08
\| *	Tiny fix (made field 'tr' of class 'Trigger' private)	0biha	2015-01-08
\| *	Made 2 invariants of class 'DeclWithFormals' robust by changing the design	0biha	2015-01-07
\| *	Rewrote 'globalVariablesCache' invariant fix of class 'Program'	0biha	2015-01-08
\| *	Made invariant of class 'Constant' robust by making list 'Parents' read-only	0biha	2015-01-05
\| *	Made invariant of class 'AtomicRE' robust by changing the design	0biha	2015-01-05
\| *	Made invariant of class 'Trigger' robust by	0biha	2015-01-01
\| *	Made invariant of class 'ListOfMiningStrategies' robust by changing the design	0biha	2015-01-01
\| *	Made invariant of class 'IfThenElse' robust by changing the design	0biha	2015-01-01
\| *	Made 2 invariants of class 'IfCmd' robust by changing the design	0biha	2015-01-01
\| *	Made invariant of class 'EEDTemplate' robust by changing the design	0biha	2015-01-01
\| *	Made invariant of class 'StructuredCmd' robust by changing the design	0biha	2015-01-01
\| *	Made 2 invariants of class 'Block' robust by changing the design	0biha	2015-01-08
\| *	Made 3 invariants of class 'BigBlock' robust by changing the design	0biha	2015-01-01
\| *	Made invariant of class 'CommandLineOptions' robust by changing the design	0biha	2014-12-31
\| *	Made invariant of class 'CommandLineOptions' robust by changing the design	0biha	2015-01-08
\| *	Made invariant of class 'Program' robust by making the GlobalVariables cache ...	0biha	2014-12-27
\| *	Made invariants of classes 'Requires' and 'Ensures' robust by making 'IPotent...	0biha	2014-12-27
\|/
*	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