FPTaylor
FPTaylor copied to clipboard
soarlab
Tool for Rigorous Estimation of Round-Off Floating-Point Errors
Add fixed precision rounding modes and fixed-precision variables.
Add custom floating-point rounding modes. At least add arbitrary precision floating-point rounding modes which behave as IEEE 754 modes.
Correctly handle subnormal constants in `binary_float.ml` and `taylor_form.ml`.
The improved rounding model can be rewritten as ``` rnd_b(x) = p_2(x, b) * eps(b) ``` where `p_2(x, b) = p_2(x)` if `|x| = 0` or `|x|` is in the...
Hi Alexey, This is not an issue. I would like to ask you a technical question. Does FPTaylor support operations to round floating-point variables to integer? In other words, the...
