interval_crlibm.opam

opam-version: "2.0"
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: ["Jean-Marc Alliot <jean-marc.alliot@irit.fr>"
          "Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>"
          "Christophe Troestler <Christophe.Troestler@umons.ac.be>"]
homepage: "https://github.com/Chris00/ocaml-interval"
dev-repo: "git+https://github.com/Chris00/ocaml-interval.git"
bug-reports: "https://github.com/Chris00/ocaml-interval/issues"
doc: "https://Chris00.github.io/ocaml-interval/doc"
license: "LGPL-3.0-only"
tags: ["interval" "science"]
build: [
  ["dune" "subst"] {dev}
  ["dune" "build" "-p" name "-j" jobs]
  ["dune" "build" "@doc"] {with-doc}
]
depends: [
  "interval_base" {= version}
  "dune"
  "crlibm" { >= "0.5" }
]
synopsis: "An interval library for OCaml (crlibm version)"
description: "
This library uses assembly code to compute all operations with proper
roundings, and currently ONLY works on intel processors.

This package uses CRlibm (a proved correctly rounded mathematical
library) to provide enclosures of transcendental functions.  It may be
slower than the version using the implementation in the CPU but
the bounds are proved correct.  It also provides *pi versions of the
trigonometric functions and their inverse.
"