debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	fixed bug in reporting the number of typechecking errors	Unknown	2013-05-22
\| \| \| \|	updated answer file
*	reworked the linear and og implementation based on available variables theory	Unknown	2013-05-18
\|
*	fixed bug (reported by Akash) in treatment of linear parameters to calls	Unknown	2013-05-06
\|
*	added mod set checking to the linear type checker	Unknown	2013-03-13
\|
*	fixed bugs in both parallel calls and linear stuff (reported by Chris)	Unknown	2013-03-03
\| \| \| \|	also added improved error reporting suggested by Chris
*	fixed bugs in typechecking of linear sets	Unknown	2013-02-13
\| \| \| \| \|	added regressions to linear sets removed the need to supply the builtin map operations manually
*	handling old() in stable assertions	Unknown	2013-01-30
	bug fix in linear