debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	refactoring + new class ConcurrentHoudini	Pantazis Deligiannis	2013-09-27
*	merge	Pantazis Deligiannis	2013-07-19
\|\
\| *	Revamp of staged Houdini, and completion of parallel support.	allydonaldson	2013-07-18
* \|	CVC4 Parser	pantazis	2013-06-12
\|/
*	Staged Houdini	allydonaldson	2013-04-30
*	Added Abstract Houdini: an implementation of Houdini based on abstract domains.	Unknown	2012-11-05
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	further fixes related to using uninterpreted function for error traces	qadeer	2012-02-25
*	updated Houdini so it works with SMTLib	qadeer	2011-09-27
*	Fixed test failures in the "Checked" configuration.	wuestholz	2011-09-19
*	Added build version stamping for Houdini.dll	stobies	2011-09-05
*	fixed the key signing problem with houdini	qadeer	2011-08-05
*	cleaned up houdini options	qadeer	2011-08-04
*	ported Houdini to C#, added Houdini project to the Boogie solution	qadeer	2011-08-03