debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
\| \| \| \|	spaces.
*	Enabled lit tests for test1/ directory	Dan Liew	2014-05-06
\| \| \| \|	Bizarely Array.bpl does not pass on Windows. This will be fixed soon.
*	Boogie and Dafny: adjustments to the test suite expected output (and a ↵	Unknown	2012-09-27
\| \| \| \|	temporary hack in FloydCycleDetect.dfy to be corrected shortly)
*	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)