debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\|\
\| *	Conjecture printing for duality and child user time tracking.	Ken McMillan	2014-05-26
* \|	Added stack bounding	akashlal	2014-05-10
* \|	Added /useBaseNameForFile command line argument. The Scanner	Dan Liew	2014-04-06
* \|	checkpoint	qadeer	2014-05-03
* \|	updated the mover checks	qadeer	2014-04-25
* \|	Add support for assumption variables.	wuestholz	2014-04-21
* \|	Merge	qadeer	2014-04-16
\|\ \
* \| \|	added variable hiding	qadeer	2014-04-16
\| \|/ \|/\|
\| *	Fixed malformed Contracts section	Rustan Leino	2014-04-15
\| *	disabled quantifier merging, except when no triggers are provided (as discuss...	Unknown	2014-03-03
\|/
*	Added /printFixedPoint option	Ken McMillan	2014-04-14
*	Added option to avoid unrolling irreducible loops	akashlal	2014-04-06
*	Fixed class cast issue with type synonyms	Ally Donaldson	2014-04-01
*	Change class 'LambdaVisitor' to attach checksum to expanded lambda functions.	wuestholz	2014-03-17
*	Fix duplicator so that BVConcatExpr and BVExtractExpr are handled. Patch by ...	Ally Donaldson	2014-03-12
*	Merge	Rustan Leino	2014-02-28
\|\
* \|	Changed all lambda-expression rewriting to be done as a pre-processing step b...	Rustan Leino	2014-02-28
\| *	Added /trustNonInterference option	qadeer	2014-02-28
* \|	Changed return type of VisitLambdaExpr to just Expr	Rustan Leino	2014-02-27
\| *	added /doNotUseParallelism option	qadeer	2014-02-27
\|/
*	Fixed tokens to improve error message produce for type errors in non-inlined ...	Rustan Leino	2014-02-25
*	(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...	Rustan Leino	2014-02-24
*	added ReadOnlyStandardVisitor	qadeer	2014-02-24
*	Added /trustPhasesDownto option	qadeer	2014-02-24
*	Added /trustPhasesUpto option	qadeer	2014-02-23
*	Added /trustAtomicityTypes option	qadeer	2014-02-22
*	fixed code contracts violations	qadeer	2014-02-11
*	Fixed errors in the use of Code Contracts	Rustan Leino	2014-02-10
*	Fixed bug in handling of break statements	Rustan Leino	2014-02-10