debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Minor change	wuestholz	2015-01-26
*	Minor change	wuestholz	2015-01-26
*	Worked on the verification result caching (trace output).	wuestholz	2015-01-26
*	Change the return type of StandardVisitor.VisitLiteralExpr() from	Dan Liew	2015-01-25
*	Change the return type of StandardVisitor.VisitExistsExpr() from	Dan Liew	2015-01-25
*	Change the return type of StandardVisitor.VisitForAllExpr() from	Dan Liew	2015-01-25
*	Change the return type of StandardVisitor.VisitBvExtractExpr() from	Dan Liew	2015-01-25
*	Change the return type of StandardVisitor.VisitBvConcatExpr() from	Dan Liew	2015-01-25
*	Fixes to StagedHoudini	Ally Donaldson	2015-01-22
*	Merge	Ally Donaldson	2015-01-13
\|\
\| *	Merging changes from wuestholz/BoogieInvariantFixesIIII	wuestholz	2015-01-13
\| \|\
\| * \	Merging changes from 0biha/BoogieInvariantFixesIIIa	wuestholz	2015-01-13
\| \|\ \
* \| \| \|	Removed unnecessary stage-related attributes from candidate annotations.	Ally Donaldson	2015-01-10
\|/ / /
\| \| *	Made 2 invariants of class 'VariableCollector' robust by:	wuestholz	2015-01-09
\| \| *	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
\| \|/ \|/\|
\| *	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
*	Worked on more native support for partially-verified assertions.	wuestholz	2014-12-28
*	Merging changes from 0biha/BoogieInvariantFixesII	wuestholz	2014-12-27
\|\
* \	Merge	0biha	2014-12-26
\|\ \
\| \| *	Minor precondition fix	0biha	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