debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	CVC4 Parser	pantazis	2013-06-12
*	cvc4 command line option & cvc4.cs in Provers	pantazis	2013-06-12
*	Worked on improving program snapshot verification.	wuestholz	2013-06-10
*	Worked on improving program snapshot verification.	wuestholz	2013-06-05
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Added a feature for verifying several program snapshots (incl. result caching...	wuestholz	2013-06-02
*	Merge changes to support Corral in fixedpoint backend	Ken McMillan	2013-05-29
\|\
\| *	Getting fixed point backend to work with Corral.	Ken McMillan	2013-05-29
* \|	Improvements to Staged Houdini	allydonaldson	2013-05-29
* \|	Staged Houdini can now take a path to a file of ignored variables	allydonaldson	2013-05-27
\|/
*	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
*	merging changes for fixedpoint engine backend	Ken McMillan	2013-05-07
\|\
* \|	Adding fixedpoint engine backend	Ken McMillan	2013-05-07
\| *	havocs and updates to globals added only if they are non-null	Unknown	2013-05-06
\| *	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