debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	fixed bug (reported by Akash) in treatment of linear parameters to calls	Unknown	2013-05-06
*	In the typecheck method of HavocCmd, added calls to typecheck the havoced vars	Unknown	2013-05-04
*	Merge	Unknown	2013-05-04
\|\
* \|	fixed bug reported by Akash	Unknown	2013-05-04
\| *	Print "\n" after a YieldCmd	akashlal	2013-05-03
\|/
*	Merge	allydonaldson	2013-04-30
\|\
* \|	Staged Houdini	allydonaldson	2013-04-30
\| *	Added a little bit of virtual-ness to the Inliner class. This is so that I can	akashlal	2013-04-28
\| *	added free ensures to each procedure to compensate for havocing of allocator	Unknown	2013-04-19
\| *	Made OG-Desugared parsable as a Boogie program.	akashlal	2013-04-19
\| *	Fix mod-set traversal to do visit code inside code expressions.	Rustan Leino	2013-04-18
\| *	refactored og and fixed latest bug reported by chris	Unknown	2013-03-20
\| *	the allocator corresponding to every linear variable	Unknown	2013-03-13
\| *	Added explicit mod set analysis calls to OG transform and linear transform	Unknown	2013-03-13
\| *	added mod set checking to the linear type checker	Unknown	2013-03-13
\| *	fixed bugs in linear and og	Unknown	2013-03-11
\| *	Added another constructor to CallCmd	akashlal	2013-03-11
\| *	fixed emitter for CallCmd to include async	Unknown	2013-03-09
\| *	added support for linear sets without useArrayTheory (but there is some incom...	Unknown	2013-03-07
\| *	in the process of adding support for linear sets without /useArrayTheory	Unknown	2013-03-06
\|/
*	fixed datatype bug reported by Chris	Unknown	2013-03-05
*	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
*	bug in OG for parallel call	Unknown	2013-03-02
*	added parallel calls	Unknown	2013-03-01
*	removed call forall and * args to calls	Unknown	2013-02-23
*	fixed bugs in typechecking of linear sets	Unknown	2013-02-13
*	fixed another bug reported by ChrisHaw	Unknown	2013-02-12
*	Further bug fixes in OG	Unknown	2013-02-05
*	fixed bug in OG	Unknown	2013-02-01
*	handling old() in stable assertions	Unknown	2013-01-30
*	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
*	first check in of Owicki-Gries and linear sets	Unknown	2013-01-24
*	Let Boogie clients determine their own version string	Rustan Leino	2013-01-23
*	Refactored code that generates an axiom for a function, and changed the prett...	Rustan Leino	2013-01-17
*	Allow attributes on procedure formals, function formals, and bound variables	Unknown	2013-01-07
*	Some code clean-up	Unknown	2013-01-07
*	Removed old comments about "BASEMOVE" and other constructor calls, where the ...	Unknown	2013-01-07
*	bug fix for interaction between inlining and loops	Unknown	2013-01-04
*	Use the new ProverInterface's Evaluate method in stratified inlinig	Unknown	2013-01-03
*	Missed checking this in.	akashlal	2012-12-12
*	Houdini: allow cross-dependencies between procedures that occurs when assume	Unknown	2012-12-11
*	Gather set of procedures with irreducible loops.	Unknown	2012-11-18
*	Minor refactorings for integrating corral	Unknown	2012-11-18
*	Added Abstract Houdini: an implementation of Houdini based on abstract domains.	Unknown	2012-11-05
*	added sound loop unrolling	Yannick Welsch	2012-07-03
*	bunch of refactorings	Unknown	2012-10-03
*	Boogie: added /vcsLoad flag as a convenient way to set /vcsCores proportional...	Unknown	2012-09-28