-
Notifications
You must be signed in to change notification settings - Fork 10
Expand file tree
/
Copy pathout_fpcore.mli
More file actions
13 lines (11 loc) · 905 Bytes
/
out_fpcore.mli
File metadata and controls
13 lines (11 loc) · 905 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
(* ========================================================================== *)
(* FPTaylor: A Tool for Rigorous Estimation of Round-off Errors *)
(* *)
(* Author: Alexey Solovyev, University of Utah *)
(* *)
(* This file is distributed under the terms of the MIT license *)
(* ========================================================================== *)
(* -------------------------------------------------------------------------- *)
(* FPCore output for FPTaylor tasks *)
(* -------------------------------------------------------------------------- *)
val generate_fpcore : Format.formatter -> ?var_type:Rounding.value_type -> Task.task -> unit