debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	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
*	Worked on adding support for "canned errors".	wuestholz	2014-07-06
*	Did some refactoring, fixed minor issues, and made it apply the more advanced...	wuestholz	2014-07-06
*	Implemented an optimization for assignments to assumption variables that are ...	wuestholz	2014-07-04
*	Fixed issue involving axioms in the dependency analysis used for verification...	wuestholz	2014-07-03
*	Optimized the way that assertions are marked as partially verified.	wuestholz	2014-06-26
*	Fixed issue in verification result caching.	wuestholz	2014-06-26
*	Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"	Dan Rosén	2014-06-24
*	Worked on an extension of the existing verification result caching.	wuestholz	2014-06-23
*	Changed the 'verifySnapshots' command-line option to accept a numeric argumen...	wuestholz	2014-06-20
*	Fixed crash in resolver	Rustan Leino	2014-06-19
*	updated golden outputs and removed irrelevant tests	qadeer	2014-06-02
*	Added more tests (snapshots).	wuestholz	2014-05-30
*	Documented the clean.py script	Dan Liew	2014-05-28
*	Document lit's ``-s`` option.	Dan Liew	2014-05-28
*	Remove a few other old test infrastructure files. They	Dan Liew	2014-05-28
*	Removed old test infrastructure files except for	Dan Liew	2014-05-28
*	Merge	Dan Liew	2014-05-28
\|\
* \|	Report the python version being used when executing lit.	Dan Liew	2014-05-28
* \|	Fix running pydiff.py under Python 2.7	Dan Liew	2014-05-28
\| *	Updated an 'Answer' file (AbsHoudini).	wuestholz	2014-05-28
\|/
*	Merge	Dan Liew	2014-05-27
\|\
* \|	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
\| *	Merge	Ally Donaldson	2014-05-27
\| \|\ \| \|/ \|/\|
* \|	Convert the AbsHoudini tests to lit tests. They weren't being run by the old	Dan Liew	2014-05-27
* \|	Added simple python implementation of diff to replace using the	Dan Liew	2014-05-27
\|/
*	Implemented an additional type check for assumption variables.	wuestholz	2014-05-27
*	Added more tests (snapshots).	wuestholz	2014-05-27
*	Set the following tests to expected failure under lit. Having these	Dan Liew	2014-05-19
*	Remove solver executable check under windows at the request	Dan Liew	2014-05-12
*	Converted test0/Arrays1.bpl test to OutputCheck style test.	Dan Liew	2014-05-12
*	Convert houd12.bpl into a OutputCheck style test and also pass	Dan Liew	2014-05-12