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

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ]

Branch: CURRENT, Version: 8.0nb9, Package name: sollya-8.0nb9, 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)


   2026-01-07 09:49:50 by Thomas Klausner | Files touched by this commit (2525) 
Log message:
*: recursive bump for icu 78.1
   2025-04-17 23:53:13 by Thomas Klausner | Files touched by this commit (2449) 
Log message:
*: recursive bump for icu 77 and libxml2 2.14
   2024-11-14 23:22:33 by Thomas Klausner | Files touched by this commit (2428) 
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 (2425) 
Log message:
*: revbump for icu downgrade
   2024-11-01 01:54:33 by Thomas Klausner | Files touched by this commit (2426) 
Log message:
*: recursive bump for icu 76.1 shlib bump
   2024-05-29 18:35:19 by Adam Ciarcinski | Files touched by this commit (1928) | Package updated
Log message:
revbump after icu and protobuf updates
   2023-11-08 14:21:43 by Thomas Klausner | Files touched by this commit (2376) 
Log message:
*: recursive bump for icu 74.1
   2023-04-19 10:12:01 by Adam Ciarcinski | Files touched by this commit (2358) | Package updated
Log message:
revbump after textproc/icu update