debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Fixed issue in the verification result caching.	wuestholz	2014-11-10
*	Worked on the verification result caching.	wuestholz	2014-11-10
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-11-02
*	Added more tests for the verification result caching.	wuestholz	2014-10-19
*	Added a todo.	wuestholz	2014-10-18
*	Did some refactoring.	wuestholz	2014-10-18
*	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-17
*	Did some refactoring.	wuestholz	2014-10-16
*	Worked on the verification result caching.	wuestholz	2014-10-15
*	Did some refactoring.	wuestholz	2014-10-15
*	Minor changes	wuestholz	2014-10-15
*	Fix issue in computation of checksums for calls.	wuestholz	2014-10-15
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-14
*	Fix issue in verification result caching.	wuestholz	2014-10-14
*	Minor changes	wuestholz	2014-10-13
*	Add '/traceCaching' flag.	wuestholz	2014-10-13
*	Did more refactoring and addressed several todos.	wuestholz	2014-09-23
*	Did some refactoring.	wuestholz	2014-09-23
*	Fixed an issue in the verification result caching (recycled errors).	wuestholz	2014-09-22
*	Fixed minor issue.	wuestholz	2014-09-19
*	Minor refactoring	wuestholz	2014-08-03
*	Fixed a minor issue.	wuestholz	2014-07-14
*	Refactored how checksums are computed.	wuestholz	2014-07-13
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-10
*	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
*	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
*	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
*	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
*	Optimized the way that dependency checkums are computed.	wuestholz	2014-06-26
*	Worked on an extension of the existing verification result caching.	wuestholz	2014-06-23
*	added ReadOnlyStandardVisitor	qadeer	2014-02-24
*	Make the dependency analysis for snapshot verification take 'where' clauses i...	wuestholz	2013-07-30
*	Worked on improving program snapshot verification.	wuestholz	2013-06-20
*	Did some refactoring in the execution engine.	wuestholz	2013-06-17
*	Did some refactoring in the execution engine.	wuestholz	2013-06-14
*	Worked on improving program snapshot verification (automatic prioritization).	wuestholz	2013-06-12
*	Did some refactoring in the execution engine.	wuestholz	2013-06-11
*	Worked on improving program snapshot verification.	wuestholz	2013-06-11
*	Worked on improving program snapshot verification.	wuestholz	2013-06-11