debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Nice clean re-implementation of AbstractHoudini. And tests	akashlal	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
*	fixed bug in model printing	Unknown	2013-03-11
*	Added another constructor to CallCmd	akashlal	2013-03-11
*	Minor changes to AbstractHoudini	akashlal	2013-03-10
*	Merge	Unknown	2013-03-09
\|\
* \|	fixed emitter for CallCmd to include async	Unknown	2013-03-09
\| *	Refactored MatchCandidate	allydonaldson	2013-03-08
\| *	Merge	allydonaldson	2013-03-08
\| \|\
\| * \|	MatchCandidate modified to match candidates by variable name, rather than by ...	allydonaldson	2013-03-08
* \| \|	Merge	Unknown	2013-03-07
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	updated the model parsing (probably caused by some change in Z3's output)	Unknown	2013-03-07
* \| \|	added support for linear sets without useArrayTheory (but there is some incom...	Unknown	2013-03-07
\| * \|	Fix LeastCommonAncestor method in Graph module	Nathan Chong	2013-03-07
* \| \|	Merge	Unknown	2013-03-06
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	in the process of adding support for linear sets without /useArrayTheory	Unknown	2013-03-06
\| \|/ \|/\|
* \|	removed Test\GPUVerify	Unknown	2013-03-06
* \|	removing GPUVerify and Dafny.sln	Unknown	2013-03-05
* \|	Merge	Rustan Leino	2013-03-05
\|\ \
* \| \|	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...	Rustan Leino	2013-03-05
* \| \|	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...	Rustan Leino	2013-03-05
\| * \|	fixed datatype bug reported by Chris	Unknown	2013-03-05
\|/ /
\| *	Merge	allydonaldson	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
\| *	Merge	allydonaldson	2013-03-01
\| \|\ \| \|/ \|/\|
\| *	Fixed bug with predication, and fixed small problem with model generation rel...	allydonaldson	2013-03-01
* \|	removed call forall and * args to calls	Unknown	2013-02-23
* \|	CR/LF line ending delta	Rustan Leino	2013-02-19
* \|	Merge	Rustan Leino	2013-02-19
\|\ \
* \| \|	Fixed some type bugs in the interval domain.	Rustan Leino	2013-02-19
\| * \|	AbstractHoudini: more details for computing a tighter predicate cover	Unknown	2013-02-15
\| * \|	fixed bugs in typechecking of linear sets	Unknown	2013-02-13
\| * \|	Add another test file	Unknown	2013-02-12
\| * \|	fixed another bug reported by ChrisHaw	Unknown	2013-02-12
\| * \|	finished the sample	Unknown	2013-02-05
\| * \|	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
\| * \|	Merge	Unknown	2013-01-29
\| \|\ \
\| * \| \|	made a whole bunch of changes to linear and og stuff	Unknown	2013-01-29
\| \| * \|	Parse integers returned by Z3 into BigNum	akashlal	2013-01-29
\| \|/ /
\| * \|	bug fix reported by Chris	Unknown	2013-01-28
\| * \|	updated answer files	Unknown	2013-01-25