debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	added more information to assert messages	qadeer	2014-01-14
\|
*	more bug fixes	qadeer	2013-12-22
\|
*	bug fixes in Duplicate.cs and parsing of invariant attributes	qadeer	2013-12-22
\| \| \| \|	other bug fixes in QED stuff
*	various updates and tighter integration of QED stuff into mainline	qadeer	2013-12-19
\|
*	fixed a bug regarding invocation of modsetanalysis w.r.t. OG desugaring	qadeer	2013-12-07
\|
*	cleaned up the OG code	qadeer	2013-08-07
\| \| \| \|	enabled it to be always on
*	added another regression	qadeer	2013-07-15
\|
*	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