debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	VC gen for security properties	akashlal	2015-04-05
*	Eliminated calls to deprecated method.	wuestholz	2015-02-18
*	Added a setter for CommandLineOptions.ProverOptions and fixed several contracts.	wuestholz	2015-02-18
*	Protect Bitvector field of BvExtractExpr when it is immutable.	Dan Liew	2015-02-12
*	Protect E0 and E1 in BvConcatExpr if Expr is immutable.	Dan Liew	2015-02-12
*	Fix what looked like a serious design issue when Type checking	Dan Liew	2015-02-12
*	When an Expr immutable, never change Type reference if it has been set,	Dan Liew	2015-02-12
*	Protect the Args field of NAryExpr when it is immutable.	Dan Liew	2015-02-12
*	Fix performance issue in ComputeHashCode() methods of Expr classes.	Dan Liew	2015-02-02
*	Fix typechecking immutable Expr when we have	Dan Liew	2015-01-31
*	Made it produce slightly different passive commands for assignments to assump...	wuestholz	2015-01-30
*	Protect the body of ForAllExpr, ExistsExpr and LambdaExpr when they	Dan Liew	2015-01-29
*	Fix ForAllExpr, ExistsExpr and LambdaExpr constructors so it is possible	Dan Liew	2015-01-29
*	Protect the NAryExpr.Fun field when the NAryExpr is immutable.	Dan Liew	2015-01-29
*	Protect the Expr field of OldExpr if it is immutable. Add unit test	Dan Liew	2015-01-29
*	Protect the Type field of an Expr if is Immutable. Note if the Expr	Dan Liew	2015-01-29
*	Protect the Name and Decl fields of IdentifierExpr when it is	Dan Liew	2015-01-29
*	Prevent a BvConst being changed once constructed. The motivation	Dan Liew	2015-01-29
*	Add the ability to declare Expr to be immutable at construction time.	Dan Liew	2015-01-29
*	Fixed minor issue.	wuestholz	2015-01-26
*	Worked on the verification result caching (statement checksums).	wuestholz	2015-01-26
*	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