[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