debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	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
\|
*	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
\| \| \| \| \| \| \| \| \| \|	added regressions to linear sets removed the need to supply the builtin map operations manually
\| *	Add another test file	Unknown	2013-02-12
\| \|
\| *	fixed another bug reported by ChrisHaw	Unknown	2013-02-12
\| \| \| \| \| \| \| \|	Added an answer file
\| *	finished the sample	Unknown	2013-02-05
\| \|
\| *	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
\| *	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
\| \| \| \| \| \| \| \|	og and linear creates some rearrangement of blocks
\| *	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
\| \|
\| *	Output to Boogie\Binaries even in the Release version	Unknown	2013-01-25
\|/
*	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 ↵	Rustan Leino	2013-01-17
\| \| \| \|	pretty printing to always reflect when a function body is inlined
*	Timeout in AbstractHoudini	akashlal	2013-01-16
\|
*	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
\| \| \| \|	conversion from Spec# into C# moved a constructor call
*	bug fix for interaction between inlining and loops	Unknown	2013-01-04
\|
*	bug fix in model printing	Unknown	2013-01-04
\|
*	Use the new ProverInterface's Evaluate method in stratified inlinig	Unknown	2013-01-03
\| \| \| \|	(guarded by the flag /useProverEvaluate)
*	bug fix	Unknown	2012-12-28
\|
*	extended Evaluate to handle more types	Unknown	2012-12-28
\|
*	Some more changes to AbsHoudini	akashlal	2012-12-28
\|
*	minor bug fix	Unknown	2012-12-27
\|
*	Added expression evaluation API	Unknown	2012-12-27
\|
*	AbstractHoudini optimization: replace summary predicate with Boolean variables	Unknown	2012-12-21
\| \| \| \|	(just like stratified inlining)
*	Bug fix for ExplainHoudini. Made it robust under timeouts.	Unknown	2012-12-20
\|
*	AbstractHoudini: more fixes, for self-recursion	akashlal	2012-12-16
\| \| \| \|	and Bilateral at the same time.
*	AbstractHoudini: bug fixes	akashlal	2012-12-16
\|
*	AbstractHoudini: support for generating a witness	Unknown	2012-12-15
\|
*	Added some comments	akashlal	2012-12-12
\|
*	Missed checking this in.	akashlal	2012-12-12
\|
*	Merge	akashlal	2012-12-12
\|\
* \|	First implementation of ExplainHoudini	Unknown	2012-12-12
\| \|
\| *	Houdini: allow cross-dependencies between procedures that occurs when assume	Unknown	2012-12-11
\| \| \| \| \| \| \| \|	and assert commands in implementations have existential constants
* \|	More stuff for abstract houdini; updated test case	Unknown	2012-12-10
\|/
*	Bug fix for abstract-houdini	Unknown	2012-12-07
\|