debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
* \|	Fix to VC gen	akashlal	2014-09-28
* \|	Merge	akashlal	2014-09-27
\|\ \
* \| \|	Fix for boolVC generation	akashlal	2014-09-27
* \| \|	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
* \|	Merge.	Dan Liew	2014-09-24
\|\ \
* \| \|	Remove dead method argument	Dan Liew	2014-09-24
* \| \|	Remove dead code	Dan Liew	2014-09-24
* \| \|	Let the SMT lib convert models to Z3-like models	Dan Liew	2014-09-24
\| * \|	(Subhajit) Added an interface for InterpolatingTheoremProver	akashlal	2014-09-24
\| * \|	minor fix	akashlal	2014-09-24
\| * \|	Simple VC generation for SI	akashlal	2014-09-24
\|/ /
* \|	Fixed assertion violation.	wuestholz	2014-09-23
* \|	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
* \|	minor fix to abshoudini's handling of quantifiers	akashlal	2014-09-20
* \|	a small fix to prefix calculation	qadeer	2014-09-19
* \|	a bug fix in Houdini (also AbsHoudini)	qadeer	2014-09-19
* \|	Patch by Jeroen Ketema.	Dan Liew	2014-09-19
* \|	Fixed minor issue.	wuestholz	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
* \|	fixed a crash	qadeer	2014-09-16
\|/
*	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
*	merge	qadeer	2014-08-08
\|\
* \|	fixed codexpr bug reported by Michael Emmi; removed special handling of codex...	qadeer	2014-08-08
\| *	Bug fix in SI	akashlal	2014-08-03
\| *	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
* \|	Changed how canceled tasks are dealt with.	wuestholz	2014-07-31
* \|	removed /doNotUseParallelism	qadeer	2014-07-30
* \|	Made it bound the number of executing tasks by the number of cores specified ...	wuestholz	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
\| * \|	Some simplifications	akashlal	2014-07-28
\| * \|	Helper procedures	akashlal	2014-07-28
\|/ /
* \|	ExplainHoudini change to add reasons for inconsistency as well.	shuvendu	2014-07-27
* \|	Fix bug where Visitors could not visit Requires or Ensures because	Dan Liew	2014-07-27