Opam Package interval_intel.1.5.1

Package info

opam-nameinterval_intel
opam-version1.5.1
synopsisAn interval library for OCaml
description This library uses assembly code to compute all operations with proper roundings, and currently ONLY works on intel processors. It supports Linux, Windows and MacOS, with gcc and clang. Unfortunately, the Intel processor does not properly round trigonometric functions so this library cannot be used whenever proved correct enclosures are needed. More information is given in the paper presented in the OCaml meeting 2012: http://www.alliot.fr/papers/oud2012.pdf
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 (3)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

interval_intel

Package files

lib/stublibs/dllinterval_intel_stubs.so
lib/interval_intel/opam
lib/interval_intel/libinterval_intel_stubs.a
lib/interval_intel/interval_intel__Generic.cmx
lib/interval_intel/interval_intel__Generic.cmt
lib/interval_intel/interval_intel__Generic.cmi
lib/interval_intel/interval_intel__Fpu_rename_all.cmx
lib/interval_intel/interval_intel__Fpu_rename_all.cmti
lib/interval_intel/interval_intel__Fpu_rename_all.cmt
lib/interval_intel/interval_intel__Fpu_rename_all.cmi
lib/interval_intel/interval_intel__Fpu_rename.cmx
lib/interval_intel/interval_intel__Fpu_rename.cmti
lib/interval_intel/interval_intel__Fpu_rename.cmt
lib/interval_intel/interval_intel__Fpu_rename.cmi
lib/interval_intel/interval_intel__Fpu.cmx
lib/interval_intel/interval_intel__Fpu.cmti
lib/interval_intel/interval_intel__Fpu.cmt
lib/interval_intel/interval_intel__Fpu.cmi
lib/interval_intel/interval_intel__.ml
lib/interval_intel/interval_intel__.cmx
lib/interval_intel/interval_intel__.cmt
lib/interval_intel/interval_intel__.cmi
lib/interval_intel/interval_intel.mli
lib/interval_intel/interval_intel.ml
lib/interval_intel/interval_intel.cmxs
lib/interval_intel/interval_intel.cmxa
lib/interval_intel/interval_intel.cmx
lib/interval_intel/interval_intel.cmti
lib/interval_intel/interval_intel.cmt
lib/interval_intel/interval_intel.cmi
lib/interval_intel/interval_intel.cma
lib/interval_intel/interval_intel.a
lib/interval_intel/generic.ml
lib/interval_intel/fpu_rename_all.mli
lib/interval_intel/fpu_rename_all.ml
lib/interval_intel/fpu_rename.mli
lib/interval_intel/fpu_rename.ml
lib/interval_intel/fpu.mli
lib/interval_intel/fpu.ml
lib/interval_intel/dune-package
lib/interval_intel/META
lib/interval_intel
doc/interval_intel/README.md
doc/interval_intel/LICENSE.md
doc/interval_intel/CHANGES.md
doc/interval_intel