debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge branch 'master' of https://github.com/boogie-org/boogie	Rustan Leino	2015-08-28
\|\
* \|	Added /verifySnapshots:3, which prints recycled errors messages with the sour...	Rustan Leino	2015-08-28
\| *	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\|/
*	Make it not return cached verification results for timed-out implementations ...	Valentin Wüstholz	2015-05-18
*	Minor refactoring	Valentin Wüstholz	2015-05-17
*	Make caching of verification results more fine-grained for changes that affec...	Valentin Wüstholz	2015-05-17
*	Worked on the verification result caching (trace output).	wuestholz	2015-01-26
*	Worked on the verification result caching (use weights for extracted functions).	wuestholz	2015-01-24
*	Minor changes	wuestholz	2015-01-02
*	Minor change in verification result caching (extracted functions)	wuestholz	2014-12-28
*	Added todos.	wuestholz	2014-11-26
*	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
*	Worked on the verification result caching.	wuestholz	2014-11-23
*	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