debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Added and briefly tested the updated syntax. NaN/oo not supported yet	Checkmate50	2016-07-19
*	Changed the syntax reading of the float type	Checkmate50	2016-07-16
*	change to update	Checkmate50	2016-06-07
*	removed an unnecessary type checking addition	Checkmate50	2016-06-07
*	fixed some merging issues	Checkmate50	2016-06-07
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	Fix issue with computation of statement checksums for lambda expressions.	Valentin Wüstholz	2015-06-12
*	Make caching of verification results more fine-grained for changes that affec...	Valentin Wüstholz	2015-05-17
*	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 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
*	Worked on the verification result caching (statement checksums).	wuestholz	2015-01-26
*	Made invariant of class 'IfThenElse' robust by changing the design	0biha	2015-01-01
*	Worked on more native support for partially-verified assertions.	wuestholz	2014-12-28
*	Fixed issue with resolution of function calls.	wuestholz	2014-11-26
*	Fix FunctionCall.Resolve() so that when the function is resolved the type bec...	Dan Liew	2014-11-25
*	Fix bug in FunctionCall that caused the ExprTypeChecking.FunctionCall()	Dan Liew	2014-11-25
*	fixed various CodeContracts issues.	qadeer	2014-09-18
*	Added missing Expr.Neg() static method.	Dan Liew	2014-08-15
*	Minor refactoring	wuestholz	2014-08-03
*	Merge	Dan Rosén	2014-08-01
\|\
* \|	Add alpha equivalence check for Expr, and use it when lambda lifting	Dan Rosén	2014-08-01
\| *	Fix bug in NAryExpr where is was possible for A.Equals(B) to return	Dan Liew	2014-07-29
\| *	Fix bug in NAryExpr where Equals() override was not correctly implemented.	Dan Liew	2014-07-28
\|/
*	Fix nasty bug introduced by commit 61a94f409975.	Dan Liew	2014-07-15
*	Refactored how checksums are computed.	wuestholz	2014-07-13
*	Did some refactoring, fixed minor issues, and made it apply the more advanced...	wuestholz	2014-07-06
*	Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"	Dan Rosén	2014-06-24
*	Add isBvConst and asBvConst accessors to LiteralExpr to match the	Dan Liew	2014-05-28
*	Recursive walking of Exprs doesn't play nice when the depth of the AST is high.	akashlal	2014-01-07
*	Resolved some issues with data races.	wuestholz	2013-07-23
*	All ...Seq classes now gone	Ally Donaldson	2013-07-22
*	ExprSeq: farewell	Ally Donaldson	2013-07-22
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
*	More refactoring	Ally Donaldson	2013-07-22
*	More refactoring: PureCollections.Sequence not used anymore.	Ally Donaldson	2013-07-22
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
*	Refactoring of VariableSeq and TypeSeq	Ally Donaldson	2013-07-22
*	Allow attributes on procedure formals, function formals, and bound variables	Unknown	2013-01-07