crlibm

Binding to CRlibm, a correctly rounded math lib
README


Crlibm

This module is a binding to CRlibm, an efficient and proved
correctly-rounded mathematical library. CRlibm is now superseded by
MetaLibm but the latter requires some polishing and documentation.
For the user convenience, this module embeds the relevant C code from
the CRlibm Git repository.

Install

The easier is to use opam:

opam install crlibm

Documentation

See crlibm.mli, also available
online.

Install
Sources
crlibm-0.5.1.tbz
sha256=fcc6ff4497eb168a91bac7967316164ff0d3e1ee776fed958718a9cd7c49983b
sha512=1b62bde2d45b74ef4b15b015c90bb0f0a292180b6436f8deab81d54ab08b9cede9265c82b309a4e5377f97181049d1430bce8867df025a09859f503de0eb8032
Dependencies
benchmark
with-test
dune
>= "2.0"
ocaml
>= "4.03"
Reverse Dependencies