debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
\|
*	Fixes to StagedHoudini	Ally Donaldson	2015-01-22
\|
*	Did some refactoring.	wuestholz	2014-09-23
\|
*	Minor changes to uniformity analysis and inter-procedural reachability analysis.	Ally Donaldson	2013-08-05
\|
*	BlockSeq: farewell	Ally Donaldson	2013-07-22
\|
*	StringSeq: farewell	Ally Donaldson	2013-07-22
\|
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
\|
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
\|
*	Improvements to Staged Houdini	allydonaldson	2013-05-29