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 (
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