FPTaylor icon indicating copy to clipboard operation
FPTaylor copied to clipboard
verified publisher icon soarlab

Correctly handle subnormal constants

Open monadius opened this issue 8 years ago • 0 comments

Correctly handle subnormal constants in binary_float.ml and taylor_form.ml.

monadius avatar Oct 22 '17 06:10 monadius