debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	re-enabling -useUnsatCoreForContractInfer	shuvendu	2014-11-07
*	Minor refactoring	wuestholz	2014-11-05
*	Minor change to make some regression tests work with Z3 4.3.2	wuestholz	2014-11-05
*	Let attributes live on during inlining	akashlal	2014-11-05
*	Logging for SMTLib prover	akashlal	2014-11-05
*	Worked on the verification result caching.	wuestholz	2014-11-05
*	Worked on the verification result caching.	wuestholz	2014-11-03
*	Worked on the verification result caching.	wuestholz	2014-11-03
*	Fixed minor issue.	wuestholz	2014-11-02
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-11-02
*	Did some refactoring.	wuestholz	2014-11-02
*	Fixed an issue (reported by Akash Lal).	wuestholz	2014-10-30
*	Added a test for the verification result caching.	wuestholz	2014-10-29
*	SI: print if a bound was reached.	akashlal	2014-10-29
*	Fixed minor issue (reported by Alex Summers).	wuestholz	2014-10-28
*	Merge	qadeer	2014-10-21
\|\
* \|	removed a useless procedure	qadeer	2014-10-21
\| *	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
\| *	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
\| *	Worked on the verification result caching.	wuestholz	2014-10-17
\| *	Worked on the verification result caching.	wuestholz	2014-10-17
\| *	Merge	wuestholz	2014-10-17
\| \|\
\| * \|	Updated Boogie version number to 2.3.0.61016. This version is now going out ...	leino	2014-10-16
\| \| *	Did some refactoring.	wuestholz	2014-10-16
\| \|/
\| *	Minor change	wuestholz	2014-10-16
\| *	Worked on the verification result caching.	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 verification result caching.	wuestholz	2014-10-15
*	Fix issue in verification result caching.	wuestholz	2014-10-15
*	Fix issue in computation of checksums for calls.	wuestholz	2014-10-15
*	Merge	qadeer	2014-10-14
\|\
* \|	reversed the order of generated procedures; commutativity checks are generate...	qadeer	2014-10-14
\| *	Fix issue in computation of checksums for indented statements.	wuestholz	2014-10-15
\| *	Fix issue in computation of checksums for assume statements.	wuestholz	2014-10-14
\| *	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-14
\| *	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-14
\| *	Minor change	wuestholz	2014-10-14
\| *	Fix issue in verification result caching.	wuestholz	2014-10-14
\| *	Fix issue in verification result caching for assertions without subsumption.	wuestholz	2014-10-13
\| *	Add a todo.	wuestholz	2014-10-13
\| *	Minor changes	wuestholz	2014-10-13