debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	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
*	1. made variable introduction layer explicit in the test cases	qadeer	2014-12-15
*	patched an expected output	qadeer	2014-12-15
*	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
*	update	qadeer	2014-11-14
*	renamed :phase to :layer	qadeer	2014-11-14
*	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
*	Worked on the verification result caching.	wuestholz	2014-11-03
*	Did some refactoring.	wuestholz	2014-11-02
*	Added a test for the verification result caching.	wuestholz	2014-10-29
*	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
\| *	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
*	Add missing run lines (based off Test/doomed/runtest.bat) to doomed	Dan Liew	2014-09-21
*	more tests for houdini /inlineDepth	shuvendu	2014-09-19
*	a bug fix in Houdini (also AbsHoudini)	qadeer	2014-09-19
*	additional tests for houdini /inlineDepth	shuvendu	2014-09-18
*	merge	qadeer	2014-08-08
\|\
* \|	fixed codexpr bug reported by Michael Emmi; removed special handling of codex...	qadeer	2014-08-08
\| *	Merge	Dan Rosén	2014-08-01
\| \|\ \| \|/ \|/\|
\| *	Add alpha equivalence check for Expr, and use it when lambda lifting	Dan Rosén	2014-08-01
* \|	deleted the free assume about gates after parallel calls	qadeer	2014-07-26
\|/
*	enabled merging of yield calls	qadeer	2014-07-20
*	minor change	qadeer	2014-07-19
*	treiber stack fixed	qadeer	2014-07-18
*	some clean up	qadeer	2014-07-16
*	updated the linear type system based on Chris' design with linear, linear_in,...	qadeer	2014-07-15
*	simplified yield type chcking and added treiber stack (not fully done)	qadeer	2014-07-15
*	added tests	qadeer	2014-07-12
*	fixed some tests in og	qadeer	2014-07-11
*	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