debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
*	Worked on the verification result caching (use weights for extracted functions).	wuestholz	2015-01-24
*	Worked on the verification result caching (use native support for partially v...	wuestholz	2015-01-16
*	Minor change in verification result caching (extracted functions)	wuestholz	2014-12-28
*	Worked on the verification result caching (extracted functions).	wuestholz	2014-11-25
*	Fixed issues in the verification result caching (old expressions).	wuestholz	2014-11-24
*	Fixed issue in the verification result caching.	wuestholz	2014-11-10
*	Worked on the verification result caching.	wuestholz	2014-11-10
*	Made it never include the statement checksum when printing assert statements.	wuestholz	2014-11-16
*	Worked on the verification result caching.	wuestholz	2014-11-03
*	Did some refactoring.	wuestholz	2014-11-02
*	Worked on the verification result caching.	wuestholz	2014-10-19
*	Added more tests for the verification result caching.	wuestholz	2014-10-19
*	Worked on the verification result caching.	wuestholz	2014-10-19
*	Did some refactoring.	wuestholz	2014-10-18
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-18
*	Worked on the verification result caching.	wuestholz	2014-10-17
*	Worked on the verification result caching.	wuestholz	2014-10-15
*	Fix issue in verification result caching for assertions without subsumption.	wuestholz	2014-10-13
*	Added a test for the issue that was fixed in changeset 'e972f163bb7c'.	wuestholz	2014-09-23
*	Worked on the more advanced verification result caching.	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
*	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
*	Implemented an optimization for assignments to assumption variables that are ...	wuestholz	2014-07-04
*	Fixed issue involving axioms in the dependency analysis used for verification...	wuestholz	2014-07-03
*	Optimized the way that assertions are marked as partially verified.	wuestholz	2014-06-26
*	Fixed issue in verification result caching.	wuestholz	2014-06-26
*	Worked on an extension of the existing verification result caching.	wuestholz	2014-06-23
*	Added more tests (snapshots).	wuestholz	2014-05-30
*	Added more tests (snapshots).	wuestholz	2014-05-27
*	Enable snapshot test. This test is unusual in that it doesn't	Dan Liew	2014-05-07