debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Add alpha equivalence check for Expr, and use it when lambda lifting	Dan Rosén	2014-08-01
*	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
*	minor change	qadeer	2014-07-19
*	treiber stack fixed	qadeer	2014-07-18
*	some clean up	qadeer	2014-07-16
*	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
\|/
*	added tests	qadeer	2014-07-12
*	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
*	Changed the verification result cache to use the built-in 'MemoryCache' class.	wuestholz	2014-06-28
*	OnModel now carries the result of the prover call	akashlal	2014-06-28
*	Fix in SI while dealing with timeouts	akashlal	2014-06-27
*	Optimized the way that assertions are marked as partially verified.	wuestholz	2014-06-26
*	Fixed issue in verification result caching.	wuestholz	2014-06-26
*	Optimized the way that dependency checkums are computed.	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
*	Fix bug in BigDec.FromString() which would not parse negative	Dan Liew	2014-06-18
*	Added mechanism for getting the variables referenced by a loop (not just the ...	Ally Donaldson	2014-06-09
*	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
*	Merge	Ally Donaldson	2014-06-06
\|\
* \|	Small refactoring	Ally Donaldson	2014-06-06
* \|	Made VarsAssignedInLoop public, since it can be useful in computing modifies ...	Ally Donaldson	2014-06-06