debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Fixed an issue with discovering program snapshots.	wuestholz	2013-06-03
\|
*	Added a feature for verifying several program snapshots (incl. result ↵	wuestholz	2013-06-02
\| \| \| \|	caching and prioritization).
*	Merge	Rustan Leino	2013-05-30
\|\
* \|	Fixed bug in Interval abstract domain (pertaining to unary negation)	Rustan Leino	2013-05-30
\| \|
\| *	Changed the prover interface to report traces for time outs and out of memory.	wuestholz	2013-05-30
\|/
*	Fixed bug in the cutting of back edges (that manifested itself whenever the ↵	Rustan Leino	2013-05-29
\| \| \| \|	first block in a procedure was the target of a back edge)
*	Merge	akashlal	2013-05-27
\|\
\| *	AbsHoudini: Added support for quantifiers	akashlal	2013-05-27
\| \|
* \|	Changed the 'CounterexampleComparer' to take traces into account.	wuestholz	2013-05-26
\|/
*	fixed bug in reporting the number of typechecking errors	Unknown	2013-05-22
\| \| \| \|	updated answer file
*	reworked the linear and og implementation based on available variables theory	Unknown	2013-05-18
\|
*	AbsHoudini: Tolerate some assertion failing. Updated regression baseline.	akashlal	2013-05-10
\|
*	Merge	Unknown	2013-05-06
\|\
* \|	fixed bug (reported by Akash) in treatment of linear parameters to calls	Unknown	2013-05-06
\| \|
\| *	AbsHoudini: Each function can specify its own abstract domain. Also added	akashlal	2013-05-05
\|/ \| \| \|	typechecking
*	fixed bug reported by Akash	Unknown	2013-05-04
\|
*	add another test file	Unknown	2013-04-30
\|
*	AbsHoudini: Added predicate-abstraction domain and some examples.	akashlal	2013-04-25
\|
*	added free ensures to each procedure to compensate for havocing of allocator	Unknown	2013-04-19
\|
*	Test case for OG --> Houdini	akashlal	2013-04-19
\|
*	Added a test case	akashlal	2013-04-19
\|
*	AbsHoudini: Added support for /inlineDepth, and fixed the regression tests	akashlal	2013-04-18
\| \| \| \|	(all pass)
*	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
\|
*	added mod set checking to the linear type checker	Unknown	2013-03-13
\|
*	removed Test\GPUVerify	Unknown	2013-03-06
\|
*	Merge	Rustan Leino	2013-03-05
\|\
* \|	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵	Rustan Leino	2013-03-05
\| \| \| \| \| \| \| \|	Codeplex repositories.
* \|	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵	Rustan Leino	2013-03-05
\| \| \| \| \| \| \| \|	Codeplex repositories.
\| *	fixed datatype bug reported by Chris	Unknown	2013-03-05
\|/ \| \| \|	fixed function body referring to globals bug
*	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
\|
*	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
*	updated answer files	Unknown	2013-01-25
\| \| \| \|	og and linear creates some rearrangement of blocks
*	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
*	Allow attributes on procedure formals, function formals, and bound variables	Unknown	2013-01-07
\|
*	bug fix for interaction between inlining and loops	Unknown	2013-01-04
\|
*	More stuff for abstract houdini; updated test case	Unknown	2012-12-10
\|
*	Disengaged Dafny tests	Rustan Leino	2012-11-20
\|
*	Added Abstract Houdini: an implementation of Houdini based on abstract domains.	Unknown	2012-11-05
\| \| \| \|	Currently only predicate-abstraction domain is supported.
*	Merge	Unknown	2012-10-22
\|\