debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Improve precision of abstract interpreter for modulo operations.	Valentin Wüstholz	2015-12-28
\|
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
\| \| \| \|	spaces.
*	Enable the Constant propagation tests as lit tests.	Dan Liew	2014-05-07
\|
*	Fixed bug in abstract interpretation over reals	Rustan Leino	2014-04-08
\|
*	Added support in the abstract interpreter for an attribute {:identity}, ↵	Rustan Leino	2013-07-05
\| \| \| \|	which says that a function is an identity function.
*	Fixed bug in Interval abstract domain (pertaining to unary negation)	Rustan Leino	2013-05-30
\|
*	Dafny: implemented thresholds for the new interval domain (/infer:j)	Rustan Leino	2011-12-12
\|
*	Boogie: Added new abstract interpretation harness, which uses native Boogie ↵	Rustan Leino	2011-12-05
	Expr's, not the more abstract AIExpr's. Boogie: Added Trivial Domain (/infer:t), which just detects assume/assert false. Boogie: Added new Interval Domain (/infer:j), which is stronger than the /infer:i intervals (because the also include preconditions, booleans, and more constraints) and may also be more efficient than previous intervals Boogie: Mark all inferred conditions with attribute {:inferred}