soarlab / FPTaylor

Tool for Rigorous Estimation of Round-Off Floating-Point Errors
MIT License
27 stars 9 forks source link

Hexadecimal floating-point numerals #4

Open monadius opened 7 years ago

monadius commented 7 years ago

Use hexadecimal floating-point numerals for external optimization tools. Use "%h" in OCaml printf functions. OCaml >= 4.03 is required.

monadius commented 4 years ago

Error bounds are printed as hexadecimal numerals now and the minimal OCaml version is increased to 4.03.