debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	fixed an error where a -0 was not interpreted as a negative number	Checkmate50	2016-07-23
\|
*	Removed automatic exponent shifting	Checkmate50	2016-07-22
\|
*	fixed floatceiling function	Checkmate50	2016-07-19
\|
*	Added and briefly tested the updated syntax. NaN/oo not supported yet	Checkmate50	2016-07-19
\|
*	finished testing, fixed several minor compiler bugs	Checkmate50	2016-06-06
\|
*	modified floating point syntax and modified floating point constants to use ↵	Checkmate50	2016-03-17
\| \| \| \|	bitvector values
*	Modified BigFloat and parser to accept correct SMT-LIB syntax	Checkmate50	2016-02-20
\|
*	Added several test cases and some basic documentation for fp usage	Checkmate50	2016-01-04
\|
*	Special fp types (such as infinity and NaN are now translated by boogie	Checkmate50	2015-11-29
\|
*	Floating point constants given as integers are now translated correctly	Checkmate50	2015-10-14
\|
*	Modified translation so that z3 runs with type checking for simple binary ↵	Checkmate50	2015-10-14
\| \| \| \|	operations
*	Modified BigFloat to avoid evaluating the floating point value before ↵	Checkmate50	2015-09-23
\| \| \| \|	sending it to z3
*	Added initial support for float addition	Checkmate50	2015-09-17
\|
*	Float type now works correctly for simple variable declaration and comparison.	Dietrich	2015-07-20
\|
*	added interpretation of floating point constants to the parser	Dietrich	2015-05-18
\|
*	Made significant changes to internal representation of BigFloat. Remains a ↵	Dietrich	2015-05-07
\| \| \| \|	work in progress
*	added decimal reading functionality to the float type	Dietrich	2015-05-05
\|
*	added general floating point mantissa and exponent management	Dietrich	2015-05-04
\|
*	renamed fp32 to BigFloat	Dietrich	2015-04-20