package crlibm

All checked builds pass
  1. Overview
  2. Docs
Binding to CRlibm, a correctly rounded math lib

Install 

dune-project
 Dependency

github.com Readme Changelog LGPL-3.0 License Edit opam file Versions (6)

Authors

  1. C
    Christophe Troestler <Christophe.Troestler@umons.ac.be>

Maintainers

  1. C
    Christophe Troestler <Christophe.Troestler@umons.ac.be>

Sources

crlibm-0.5.1.tbz
sha256=fcc6ff4497eb168a91bac7967316164ff0d3e1ee776fed958718a9cd7c49983b
sha512=1b62bde2d45b74ef4b15b015c90bb0f0a292180b6436f8deab81d54ab08b9cede9265c82b309a4e5377f97181049d1430bce8867df025a09859f503de0eb8032

Description

Tags

libm math floating-point rounding science

Added to opam-repository:

README

Build Status Build status

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.

Dependencies (4)

  1. base-bytes build
  2. dune >= "2.0"
  3. dune-configurator >= "2.0"
  4. ocaml >= "4.03"

Dev Dependencies (1)

  1. benchmark with-test

Optional Dependencies

None

Used by (1)

  1. interval_crlibm

Conflicts

None

Build status

Results of building crlibm with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.5.1 (this version) good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure