debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	Handle timeout in refinement loop	akashlal	2015-01-28
*	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
*	Worked on the verification result caching (use weights for extracted functions).	wuestholz	2015-01-24
*	Worked on the verification result caching (use native support for partially v...	wuestholz	2015-01-16
*	Fixes to StagedHoudini	Ally Donaldson	2015-01-23
*	Merge	Ally Donaldson	2015-01-22
\|\
* \|	Fixes to StagedHoudini	Ally Donaldson	2015-01-22
\| *	Merge	qadeer	2015-01-16
\| \|\ \| \|/ \|/\|
\| *	removed "layer" attribute from the desugared program	qadeer	2015-01-16
* \|	Worked on StagedHoudini	Ally Donaldson	2015-01-16
* \|	Fix related to limitations in CVC4 model parsing	Ally Donaldson	2015-01-14
* \|	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
\| \| \|/ \| \|/\|
\| * \|	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