debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\| *	updated golden outputs and removed irrelevant tests	qadeer	2014-06-02
\| *	Merge	qadeer	2014-06-02
\| \|\
\| * \|	various fixes	qadeer	2014-06-02
\| \| *	Added more tests (snapshots).	wuestholz	2014-05-30
\| \| *	Add isBvConst and asBvConst accessors to LiteralExpr to match the	Dan Liew	2014-05-28
\| \| *	Documented the clean.py script	Dan Liew	2014-05-28
\| \| *	Document lit's ``-s`` option.	Dan Liew	2014-05-28
\| \| *	Merge.	Dan Liew	2014-05-28
\| \| \|\
\| \| * \|	Remove a few other old test infrastructure files. They	Dan Liew	2014-05-28
\| \| * \|	Removed old test infrastructure files except for	Dan Liew	2014-05-28
\| \|/ / \|/\| \|
\| \| *	Fixed minor issue.	wuestholz	2014-05-28
\| \|/ \|/\|
* \|	Merge	Dan Liew	2014-05-28
\|\ \
* \| \|	Report the python version being used when executing lit.	Dan Liew	2014-05-28
* \| \|	Fix running pydiff.py under Python 2.7	Dan Liew	2014-05-28
\| * \|	Merge	Ally Donaldson	2014-05-28
\| \|\ \
\| * \| \|	Refactored ConcurrentHoudini and Houdini to (significantly) reduce duplicatio...	Ally Donaldson	2014-05-28
\| * \| \|	Removed printing code from candidate dependence analyser	Ally Donadlson	2014-05-28
\| * \| \|	Small cleanup in Staged Houdini	Ally Donaldson	2014-05-28
\| \| * \|	Updated an 'Answer' file (AbsHoudini).	wuestholz	2014-05-28
\| \|/ / \|/\| \|