[opam-commits] Fixed: Chris00/opam-repository#8 (release-interval-1.5 - 34262b1)
Travis CI
builds at travis-ci.org
Sun Apr 7 11:25:58 BST 2019
Build Update for Chris00/opam-repository
-------------------------------------
Build: #8
Status: Fixed
Duration: 1 hr, 38 mins, and 9 secs
Commit: 34262b1 (release-interval-1.5)
Author: Christophe Troestler
Message: [new release] interval_intel, interval_base, interval and interval_crlibm (1.5)
CHANGES:
- The library is now organized as 4 packages:
- `interval_base` defines the module `Interval` that groups the
functions that work on any IEEE-754 processor and offers
basic module signatures;
- `interval_intel`: defines a module `Interval_intel` using assembly
instructions on Intel Processors;
- `interval_crlibm`: defines a module `Interval_crlibm` using the
library CRlibm to evaluate standard functions (sometimes a bit
slower but proved enclosures in contrast to the Intel package for
which enclosures are not always 100% correct).
- `interval`: a meta-package that install all above three.
- `Interval.T` is a module signature to form the base of what is
expected of any interval package.
- New functions: `invx` (extended inverse), `cancelminus`,
`cancelplus`, `inter` `inter_exn`, `low`, `high`.
- New binary relations `equal`, `=`, `subset`, `<=`, `>=`, `precedes`,
`interior`, `<`, `>`, `strict_precedes`, `disjoint`.
- New predicates `is_bounded`, `is_entire`.
- New constants `I.half_pi` ∋ π/2 and `I.entire` for [-∞, +∞].
- `Interval_crlibm`: functions `expm1`, `log1p`, `log2`, `log10`,
`cospi`, `sinpi`, `tanpi`, `acospi`, `asinpi`, `atanpi`, not present
in the Intel version.
- The module `I.U` also restores inequality relations.
- Speed and documentation improvements.
View the changeset: https://github.com/Chris00/opam-repository/compare/98e6b18d6ea5...34262b1313ef
View the full build log and details: https://travis-ci.org/Chris00/opam-repository/builds/516788885?utm_medium=notification&utm_source=email
--
You can unsubscribe from build emails from the Chris00/opam-repository repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=512373&utm_medium=notification&utm_source=email.
Or unsubscribe from *all* email updating your settings at https://travis-ci.org/account/preferences/unsubscribe?utm_medium=notification&utm_source=email.
Or configure specific recipients for build notifications in your .travis.yml file. See https://docs.travis-ci.com/user/notifications.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-commits/attachments/20190407/c205e712/attachment.html>
More information about the Opam-commits
mailing list