debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	changed the suffix of the trace file from .bpl to .txt to avoid confusing ↵	qadeer	2014-11-08
\| \| \| \|	the lit tool
*	Did some refactoring.	wuestholz	2014-09-23
\|
*	Refactored ConcurrentHoudini and Houdini to (significantly) reduce ↵	Ally Donaldson	2014-05-28
\| \| \| \|	duplication of code
*	small fix in the parallel refutation sharing	Pantazis Deligiannis	2013-10-16
\|
*	fixed bug with the exchange refuted invariants process	Pantazis Deligiannis	2013-10-06
\|
*	small refactoring	Pantazis Deligiannis	2013-10-02
\|
*	removal of comment	Pantazis Deligiannis	2013-10-02
\|
*	fixed bug	Pantazis Deligiannis	2013-10-01
\|
*	changes to support a configured errorLimit	Pantazis Deligiannis	2013-09-30
\|
*	more changes towards parallelisation of Houdini	Pantazis Deligiannis	2013-09-29
\|
*	refactoring + new class ConcurrentHoudini	Pantazis Deligiannis	2013-09-27