index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Basetypes
/
BigFloat.cs
Commit message (
Expand
)
Author
Age
*
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 ope...
Checkmate50
2015-10-14
*
Modified BigFloat to avoid evaluating the floating point value before sending...
Checkmate50
2015-09-23
*
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 w...
Dietrich
2015-05-07
*
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