debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
\|
*	Requires/EnsuresSeq replaced by List<Requires/Ensures>	Ally Donaldson	2013-07-22
\|
*	Revamp of staged Houdini, and completion of parallel support.	allydonaldson	2013-07-18
\|
*	Reworking of Staged Houdini in preparation for parallelising it.	allydonaldson	2013-07-16
\|
*	Addressed some \n versus \r\n issues	Rustan Leino	2013-06-29
\|
*	Some work on staged Houdini	allydonaldson	2013-06-07
\|
*	Improvements to Staged Houdini	allydonaldson	2013-05-29
\|
*	Staged Houdini can now take a path to a file of ignored variables	allydonaldson	2013-05-27
\|
*	Fixed bug in staged Houdini.	allydonaldson	2013-05-22
\|
*	Adapted Houdini algorithm to take staging into account	allydonaldson	2013-05-18
\|
*	Staged Houdini	allydonaldson	2013-04-30