-
Notifications
You must be signed in to change notification settings - Fork 10
Expand file tree
/
Copy pathout_error_bounds.mli
More file actions
15 lines (12 loc) · 976 Bytes
/
out_error_bounds.mli
File metadata and controls
15 lines (12 loc) · 976 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
(* ========================================================================== *)
(* 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 *)
(* ========================================================================== *)
(* -------------------------------------------------------------------------- *)
(* C output for the ErrorBounds tool *)
(* -------------------------------------------------------------------------- *)
val generate_error_bounds : Format.formatter -> Task.task -> unit
val generate_data_functions : Format.formatter -> Task.task -> (string * Expr.expr) list -> unit