debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
* \|	Better fix for the duplicator, thanks to wuestholz	akashlal	2014-09-27
\| *	Fixed issue reported by Akash Lal.	wuestholz	2014-09-26
\|/
*	Fix for the duplicator; can't use Clone	akashlal	2014-09-26
*	The setter is better this way	akashlal	2014-09-25
*	Lets have a setter for TopLevelDeclarations as well	akashlal	2014-09-25
*	Simple VC generation for SI	akashlal	2014-09-24
*	Did more refactoring and addressed several todos.	wuestholz	2014-09-23
*	Did more refactoring.	wuestholz	2014-09-23
*	Did some refactoring.	wuestholz	2014-09-23
*	Fixed an issue in the verification result caching (recycled errors).	wuestholz	2014-09-22
*	a small fix to prefix calculation	qadeer	2014-09-19
*	a bug fix in Houdini (also AbsHoudini)	qadeer	2014-09-19
*	InlineAssume attribute for ensures clauses; if present, the ensures condition...	qadeer	2014-09-18
*	fixed various CodeContracts issues.	qadeer	2014-09-18
*	added a comment	qadeer	2014-09-17
*	fixed a bug in inlining	qadeer	2014-09-17
*	Added the ability to attach arbitary objects to Absy nodes using an	Dan Liew	2014-09-03
*	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
\| *	removed /doNotUseParallelism	qadeer	2014-07-30
\| *	Fix bug in BinderExpr where is was possible for A.Equals(B) to return	Dan Liew	2014-07-29
\| *	Fix bug in NAryExpr where is was possible for A.Equals(B) to return	Dan Liew	2014-07-29
\| *	Fix bug in BinderExpr where Equals() was not corrected implemented.	Dan Liew	2014-07-28
\| *	Merge	akashlal	2014-07-28
\| \|\
\| * \|	Fix bug in NAryExpr where Equals() override was not correctly implemented.	Dan Liew	2014-07-28
\| \| *	Helper procedures	akashlal	2014-07-28
\| \|/
\| *	Fix bug where Visitors could not visit Requires or Ensures because	Dan Liew	2014-07-27
\|/
*	Fix nasty bug introduced by commit 61a94f409975.	Dan Liew	2014-07-15
*	Refactored how checksums are computed.	wuestholz	2014-07-13
*	Worked on the more advanced verification result caching (ignore comments for ...	wuestholz	2014-07-10
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-10
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-09
*	Worked on adding support for "canned errors".	wuestholz	2014-07-07
*	Worked on adding support for "canned errors".	wuestholz	2014-07-06
*	Did some refactoring, fixed minor issues, and made it apply the more advanced...	wuestholz	2014-07-06
*	Implemented an optimization for assignments to assumption variables that are ...	wuestholz	2014-07-04
*	Made it not include free preconditions when producing partially verified prec...	wuestholz	2014-07-03
*	Fixed issue involving axioms in the dependency analysis used for verification...	wuestholz	2014-07-03
*	Fixed issue in verification result caching.	wuestholz	2014-06-26
*	Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"	Dan Rosén	2014-06-24
*	Worked on an extension of the existing verification result caching.	wuestholz	2014-06-23
*	Changed the 'verifySnapshots' command-line option to accept a numeric argumen...	wuestholz	2014-06-20
*	Fixed crash in resolver	Rustan Leino	2014-06-19
*	Fixed a bug in revised mod set analysis	Ally Donaldson	2014-06-06
*	Refactored modset analysis to avoid the use of static fields. Static fields ...	Ally Donaldson	2014-06-06
*	Add isBvConst and asBvConst accessors to LiteralExpr to match the	Dan Liew	2014-05-28
*	Implemented an additional type check for assumption variables.	wuestholz	2014-05-27
*	Merge duality changes	Ken McMillan	2014-05-26
\|\