debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Fixed issues in the verification result caching (old expressions).	wuestholz	2014-11-24
\|
*	Fixed issue in the verification result caching.	wuestholz	2014-11-10
\|
*	Added more tests for the verification result caching.	wuestholz	2014-10-19
\|
*	Worked on the verification result caching.	wuestholz	2014-10-19
\|
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-18
\|
*	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-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 ↵	wuestholz	2014-07-06
\| \| \| \|	advanced verification result caching even for implementations with errors.
*	Implemented an optimization for assignments to assumption variables that are ↵	wuestholz	2014-07-04
\| \| \| \|	injected by the verification result caching for calls within loops.
*	Fixed issue involving axioms in the dependency analysis used for ↵	wuestholz	2014-07-03
\| \| \| \|	verification result caching.
*	Fixed issue in verification result caching.	wuestholz	2014-06-26
\|
*	Worked on an extension of the existing verification result caching.	wuestholz	2014-06-23
\|
*	Changed the 'verifySnapshots' command-line option to accept a numeric ↵	wuestholz	2014-06-20
\| \| \| \|	argument instead of a boolean one.
*	Added more tests (snapshots).	wuestholz	2014-05-30
\|
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
\| \| \| \|	spaces.
*	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
	use .bpl files in the directory directy on the command line. So instead will tell lit to look for *.snapshot files and provide one that runs the commands we want in the right directory.