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.

More information is given in the paper presented in the OCaml meeting 2012: http://www.alliot.fr/papers/oud2012.pdf

Tags

interval science

Published: 06 Mar 2018

Dependencies (2)

  1. jbuilder >= "1.0+beta7"
  2. ocaml

Reverse Dependencies

    None

Conflicts

    None
An interval library for OCaml

Install

Documentation github.com Readme Changelog LGPL-3.0-only License Edit opam file

Authors

  1. J
    Jean-Marc Alliot <jean-marc.alliot@irit.fr>
  2. J
    Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>
  3. C
    Christophe Troestler <Christophe.Troestler@umons.ac.be>

Maintainers

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

Sources

interval-1.4.tbz
md5=fe92e35e8a9cc693e250452f225f42ac