Opam Package interval_crlibm.1.5.1

Package info

opam-nameinterval_crlibm
opam-version1.5.1
synopsisAn 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.
authors
  • Jean-Marc Alliot <jean-marc.alliot@irit.fr>
  • Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>
  • Christophe Troestler <Christophe.Troestler@umons.ac.be>
homepagehttps://github.com/Chris00/ocaml-interval
licenseLGPL-3.0
changes-fileCHANGES.md
license-fileLICENSE.md
readme-fileREADME.md
deps (5)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

interval_crlibm

Package files

lib/stublibs/dllinterval_crlibm_stubs.so
lib/interval_crlibm/opam
lib/interval_crlibm/libinterval_crlibm_stubs.a
lib/interval_crlibm/interval_crlibm__Generic.cmx
lib/interval_crlibm/interval_crlibm__Generic.cmt
lib/interval_crlibm/interval_crlibm__Generic.cmi
lib/interval_crlibm/interval_crlibm__.ml
lib/interval_crlibm/interval_crlibm__.cmx
lib/interval_crlibm/interval_crlibm__.cmt
lib/interval_crlibm/interval_crlibm__.cmi
lib/interval_crlibm/interval_crlibm.mli
lib/interval_crlibm/interval_crlibm.ml
lib/interval_crlibm/interval_crlibm.cmxs
lib/interval_crlibm/interval_crlibm.cmxa
lib/interval_crlibm/interval_crlibm.cmx
lib/interval_crlibm/interval_crlibm.cmti
lib/interval_crlibm/interval_crlibm.cmt
lib/interval_crlibm/interval_crlibm.cmi
lib/interval_crlibm/interval_crlibm.cma
lib/interval_crlibm/interval_crlibm.a
lib/interval_crlibm/generic.ml
lib/interval_crlibm/dune-package
lib/interval_crlibm/META
lib/interval_crlibm
doc/interval_crlibm/README.md
doc/interval_crlibm/LICENSE.md
doc/interval_crlibm/CHANGES.md
doc/interval_crlibm