debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	reworked the linear and og implementation based on available variables theory	Unknown	2013-05-18
\|
*	fixed bug reported by Akash	Unknown	2013-05-04
\|
*	added free ensures to each procedure to compensate for havocing of allocator	Unknown	2013-04-19
\|
*	refactored og and fixed latest bug reported by chris	Unknown	2013-03-20
\|
*	fixed a bug in og	Unknown	2013-03-04
\|
*	fixed bugs in both parallel calls and linear stuff (reported by Chris)	Unknown	2013-03-03
\| \| \| \|	also added improved error reporting suggested by Chris
*	bug in OG for parallel call	Unknown	2013-03-02
\|
*	added parallel calls	Unknown	2013-03-01
\|
*	fixed another bug reported by ChrisHaw	Unknown	2013-02-12
	Added an answer file