debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	refactoring houdini so that it creates only a single instance of z3	qadeer	2011-11-16
\|
*	Eliminated unused argument in the constructor for Checker	qadeer	2011-11-16
\|
*	simple fix in houdini	qadeer	2011-11-16
\|
*	added houdini to regression	qadeer	2011-10-17
\| \| \| \|	changed houdini so that the initial worklist is created by queueing downstream Sccs first
*	bug fix in houdini	qadeer	2011-09-30
\| \| \| \|	also fixed runtest.bat and Answer
*	updated Houdini so it works with SMTLib	qadeer	2011-09-27
\|
*	fixed houdini so that it is cognizant of inlined procedures	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
\| \| \| \|	started adding bct provider
*	further changes for making houdini work	qadeer	2011-08-04
\|
*	cleaned up houdini options	qadeer	2011-08-04
\|
*	full port of houdini project	qadeer	2011-08-04
\|
*	Merge	qadeer	2011-08-03
\|\
* \|	ported Houdini to C#, added Houdini project to the Boogie solution	qadeer	2011-08-03
\|/
*	Sign assemblies	stobies	2009-08-17
\|
*	Initial set of files.	mikebarnett	2009-07-15