debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Optimized the VC generation for assumption variables.	wuestholz	2014-12-07
*	fixed bug due to incomplete erasure of :linear attribute	qadeer	2014-12-05
*	Patch by Jeroen Ketema	Dan Liew	2014-12-01
*	Added todos.	wuestholz	2014-11-26
*	Fixed issue with resolution of function calls.	wuestholz	2014-11-26
*	Fix FunctionCall.Resolve() so that when the function is resolved the type bec...	Dan Liew	2014-11-25
*	Add unit test to catch another bug in Boogie where FunctionCall ShallowType	Dan Liew	2014-11-25
*	Fix bug in FunctionCall that caused the ExprTypeChecking.FunctionCall()	Dan Liew	2014-11-25
*	Added a unit test to catch a bug in Boogie where a NAryExpr.ShallowType	Dan Liew	2014-11-25
*	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
*	Change the ToolsVersion attribute of the Project tag in the recently	Dan Liew	2014-11-19
*	Patch by Jeroen Ketema	Dan Liew	2014-11-17
*	Make run-unittests.py executable under Linux/OSX. This	Dan Liew	2014-11-17
*	Introduce unit tests which use NUnit. NUnit is now a dependency	Dan Liew	2014-11-17
*	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
*	update	qadeer	2014-11-14
*	renamed :phase to :layer	qadeer	2014-11-14
*	a fix to type checking	qadeer	2014-11-09
*	changed the suffix of the trace file from .bpl to .txt to avoid confusing the...	qadeer	2014-11-08
*	added golden output	qadeer	2014-11-08
*	more minor fix to test case houdini\testUnsatCore.bpl	shuvendu	2014-11-07
*	minor fix to test case houdini\testUnsatCore.bpl	shuvendu	2014-11-07
*	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