debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	end atomic actions at async and parallel calls	qadeer	2013-07-15
\|
*	deleted some commented code	Unknown	2013-05-20
\|
*	further bug fixes in og; global copies of global variables are now thread local	Unknown	2013-05-19
\|
*	reworked the linear and og implementation based on available variables theory	Unknown	2013-05-18
\|
*	havocs and updates to globals added only if they are non-null	Unknown	2013-05-06
\|
*	Made OG-Desugared parsable as a Boogie program.	akashlal	2013-04-19
\|
*	refactored og and fixed latest bug reported by chris	Unknown	2013-03-20
\|
*	Added explicit mod set analysis calls to OG transform and linear transform	Unknown	2013-03-13
\|
*	fixed bugs in linear and og	Unknown	2013-03-11
\| \| \| \|	added triggers to the axioms for linear set desugaring
*	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
*	Further bug fixes in OG	Unknown	2013-02-05
\| \| \| \|	Added another sample
*	fixed bug in OG	Unknown	2013-02-01
\| \| \| \|	added another OG sample illustrating rely-guarantee encoding
*	handling old() in stable assertions	Unknown	2013-01-30
\| \| \| \|	bug fix in linear
*	made a whole bunch of changes to linear and og stuff	Unknown	2013-01-29
\|
*	bug fix reported by Chris	Unknown	2013-01-28
\|
*	added owicki-gries and linear-set to boogiedriver	Unknown	2013-01-25
\| \| \| \|	cleaned up the async type checking
*	first check in of Owicki-Gries and linear sets	Unknown	2013-01-24