debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
...
*	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
\| \| \| \|	made the default phase of assertions be 0
*	Make the dependency analysis for snapshot verification take 'where' clauses ↵	wuestholz	2013-07-30
\| \| \| \|	into account.
*	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