debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	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 bug in BigDec.FloorCeiling() which gave the wrong answers for	Dan Liew	2015-03-10
\| \| \| \| \|	negative numbers. I have decided that this method will floor towards negative infinity rather than zero to match SMT-LIBv2's to_int function.
*	Fix bug in BigDec.FromString() which would not parse negative	Dan Liew	2014-06-18
\| \| \| \| \| \| \| \|	numbers correctly. For example BigDec.FromString("-1.5") would be interpreted as -0.5 due to the incorrect way the method handles the fractional part of the string.
*	Fixed abstract interpretation for reals	Rustan Leino	2014-04-13
\|
*	Fixed bug in abstract interpretation over reals	Rustan Leino	2014-04-08
\|
*	Fixed bug in printing real literals	Rustan Leino	2014-02-10
\|
*	Merge	Unknown	2012-09-28
\|
*	Boogie: added type 'real' with overloaded arithmetic operations plus real ↵	boehmes	2012-09-27
\| \| \| \| \| \| \| \| \|	division '/' and (uninterpreted) real exponentiation '**', real literals and coercion functions 'int' and 'real'; Integer operations 'div' and 'mod' are now mapped to corresponding SMT-LIB operations instead of treating them uninterpreted; Made unary minus valid Boogie syntax again (the expression '- e' used to be rewritten by the parser to '0 - e', now this is done when generating VCs); Extended the BigDec class with additional functionality; Added test cases for SMT-LIB prover backend (the Z3 API interface has been adapted accordingly, but is untested)
*	Added BigDec as representation for (floating-point) decimal values	boehmes	2012-09-27