Search results

floor & ceil functions support in FPTaylor

question

Status: Open.

#34 In soarlab/FPTaylor;

· rospoly opened on Jul 20, 2025

error bounding norm: num_of_float: inf

Status: Open.

#32 In soarlab/FPTaylor;

· smcallis opened on Dec 6, 2022

Does not build with ocamlc >= 4.06

Status: Open.

#29 In soarlab/FPTaylor;

· sampollard opened on Mar 31, 2021

arcsine(X) when X=[-1, 1]

Status: Open.

#28 In soarlab/FPTaylor;

· rospoly opened on Mar 19, 2021

Add support for custom floating-point bit-widths

enhancement

Status: Open.

#19 In soarlab/FPTaylor;

· zvonimir opened on Oct 24, 2019

Exact evaluation of constants

enhancement

Status: Open.

#17 In soarlab/FPTaylor;

· IanBriggs opened on Sep 18, 2019

Commenting source code

enhancement

Status: Open.

#15 In soarlab/FPTaylor;

· zvonimir opened on Mar 28, 2019

Precise treatment of expressions in the form x + 1

enhancement

Status: Open.

#10 In soarlab/FPTaylor;

· monadius opened on Oct 22, 2017

Fixed-precision rounding modes

enhancement

Status: Open.

#9 In soarlab/FPTaylor;

· monadius opened on Oct 22, 2017

Custom floating-point rounding modes

enhancement

Status: Open.

#8 In soarlab/FPTaylor;

· monadius opened on Oct 22, 2017

Correctly handle subnormal constants

bug

enhancement

Status: Open.

#7 In soarlab/FPTaylor;

· monadius opened on Oct 22, 2017

Remove the subnormal term in the improved rounding model

enhancement

Status: Open.

#6 In soarlab/FPTaylor;

· monadius opened on Oct 22, 2017