debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
* \|	deleted the free assume about gates after parallel calls	qadeer	2014-07-26
\|/
*	enabled merging of yield calls	qadeer	2014-07-20
*	added support for facoring out calls to yield checkers; this will help avoid ...	qadeer	2014-07-20
*	Merge	qadeer	2014-07-15
\|\
* \|	updated the linear type system based on Chris' design with linear, linear_in,...	qadeer	2014-07-15
\| *	Fix nasty bug introduced by commit 61a94f409975.	Dan Liew	2014-07-15
\|/
*	fixed a regression failure	qadeer	2014-07-15
*	merge	qadeer	2014-07-15
\|\
* \|	simplified yield type chcking and added treiber stack (not fully done)	qadeer	2014-07-15
\| *	Fixed a minor issue.	wuestholz	2014-07-14
\| *	Refactored how checksums are computed.	wuestholz	2014-07-13
\|/
*	fixed some tests in og	qadeer	2014-07-11
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-10
*	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
*	Added more tests and worked on adding support for "canned errors".	wuestholz	2014-07-06
*	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
*	Made it collect more statistics about the more advanced verification result c...	wuestholz	2014-07-04
*	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
*	Made it collect more statistics about the more advanced verification result c...	wuestholz	2014-07-01
*	Made it collect some statistics about the more advanced verification result c...	wuestholz	2014-06-30
*	a fix in Inline method; it should look for inline attribute only on procedure...	qadeer	2014-06-28
*	Added a program cache (used by the more advanced verification result caching).	wuestholz	2014-06-28
*	Minor refactoring	wuestholz	2014-06-28