./math/sollya, Environment and library for safe floating-point code development

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 8.0nb7, Package name: sollya-8.0nb7, Maintainer: pkgsrc-users

Sollya is both a tool environment and a library for safe floating-point
code development. It is particularily targeted to the automatized
implementation of mathematical floating-point libraries (libm). Amongst
other features, it offers a certified infinity (supremum) norm and a
fast Remez algorithm.


Required to run:
[textproc/libxml2] [math/mpfr] [devel/gmp] [math/fplll] [math/mpfi]

Required to build:
[pkgtools/cwrappers]

Master sites:

Filesize: 4321.769 KB

Version history: (Expand)

CVS history: (Expand)


   2024-11-14 23:22:33 by Thomas Klausner | Files touched by this commit (2429) 
Log message:
*: recursive bump for icu 76 shlib major version bump
   2024-11-01 13:55:19 by Thomas Klausner | Files touched by this commit (2426) 
Log message:
*: revbump for icu downgrade
   2024-11-01 01:54:33 by Thomas Klausner | Files touched by this commit (2427) 
Log message:
*: recursive bump for icu 76.1 shlib bump
   2024-05-29 18:35:19 by Adam Ciarcinski | Files touched by this commit (1929) | Package updated
Log message:
revbump after icu and protobuf updates
   2023-11-08 14:21:43 by Thomas Klausner | Files touched by this commit (2377) 
Log message:
*: recursive bump for icu 74.1
   2023-04-19 10:12:01 by Adam Ciarcinski | Files touched by this commit (2359) | Package updated
Log message:
revbump after textproc/icu update
   2023-01-02 15:07:51 by Havard Eidnes | Files touched by this commit (1) 
Log message:
math/sollya: add use of atomic64.mk, as that's required.
   2022-11-23 17:21:30 by Adam Ciarcinski | Files touched by this commit (1878) | Package updated
Log message:
massive revision bump after textproc/icu update