debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	More refactoring	Ally Donaldson	2013-07-22
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
*	merge	Pantazis Deligiannis	2013-07-22
\|\
\| *	Requires/EnsuresSeq replaced by List<Requires/Ensures>	Ally Donaldson	2013-07-22
* \|	merge	Pantazis Deligiannis	2013-07-06
\|\\|
\| *	Fixed bug with unifomity analysis	allydonaldson	2013-07-02
* \|	CVC4 Parser	pantazis	2013-06-12
\|/
*	Staged Houdini	allydonaldson	2013-04-30
*	Fixed bug with predication, and fixed small problem with model generation rel...	allydonaldson	2013-03-01
*	Support for "do_not_predicate" in predication of requires and ensures	Unknown	2012-12-20
*	A simplification to predication of requires and ensures.	Unknown	2012-11-29
*	Fixes to uniformity analysis.	Unknown	2012-11-29
*	changed the signing to ..\InterimKey.snk	qadeer	2012-10-03
*	bunch of refactorings	Unknown	2012-10-03