debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Merge branch 'master' of https://github.com/boogie-org/boogie	Rustan Leino	2015-08-28
\|\ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Conflicts: Source/Core/CommandLineOptions.cs Source/ExecutionEngine/ExecutionEngine.cs Source/ExecutionEngine/VerificationResultCache.cs Source/VCGeneration/VC.cs Test/snapshots/runtest.snapshot Test/snapshots/runtest.snapshot.expect
* \|	Added /verifySnapshots:3, which prints recycled errors messages with the ↵	Rustan Leino	2015-08-28
\| \| \| \| \| \| \| \|	source locations of the new code.
\| *	Added another test.	Valentin Wüstholz	2015-07-20
\| \|
\| *	Added more tests.	Valentin Wüstholz	2015-07-20
\| \|
\| *	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \| \| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
\| *	Fix issue with computation of statement checksums for lambda expressions.	Valentin Wüstholz	2015-06-12
\| \|
\| *	Add a test case.	Valentin Wüstholz	2015-06-12
\|/
*	Make caching of verification results more fine-grained for changes that ↵	Valentin Wüstholz	2015-05-17
\| \| \| \|	affect preconditions.
*	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 ↵	wuestholz	2015-01-16
\| \| \| \|	verified assertions).
*	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 ↵	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.
*	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
	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.