debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Fixed a postcondition.	wuestholz	2014-12-26
*	strengthened type checking	qadeer	2014-12-26
*	changed type checking of yield procedures so that they can only call other yi...	qadeer	2014-12-18
*	more work on reducing call stack consumption	qadeer	2014-12-18
*	some refactoring to separate the concept of shared variables under refinement...	qadeer	2014-12-17
*	Merge	qadeer	2014-12-16
\|\
* \|	patched two occurrences of StackOverflowException on benchmarks from IronClad	qadeer	2014-12-16
\| *	Added an annotation, :split_here, for predicate statements.	Bryan Parno	2014-12-16
\|/
*	Fixed a precondition.	wuestholz	2014-12-16
*	patched last check in	qadeer	2014-12-15
*	1. made variable introduction layer explicit in the test cases	qadeer	2014-12-15
*	patched an expected output	qadeer	2014-12-15
*	systematic renaming of phase to layer	qadeer	2014-12-15
*	Reverted a change to CreateTempVariable for FixedPointVC only.	Ken McMillan	2014-12-08
*	Merge some FixpointVC changes that got left behind	Ken McMillan	2014-12-08
\|\
* \|	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