pkgsrc.se | The NetBSD package collection

NOTICE: This package has been removed from pkgsrc

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

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

Branch: CURRENT, Version: 6.0, Package name: sollya-6.0, Maintainer: alnsn

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] [wip/mpfi]

Required to build:
[pkgtools/cwrappers]

Master sites:

https://gforge.inria.fr/frs/download.php/36270/ (Download)

SHA1: b08be0502c7c9de1a8a31c237ef1f0fc130963b1
RMD160: 41faeadc45063af57fdaa399ff99f83a3211dd41
Filesize: 3494.886 KB

Version history: (Expand)

(2020-05-21) Package deleted from pkgsrc
(2020-01-02) Package has been reborn
(2019-12-17) Package deleted from pkgsrc
(2019-12-15) Package has been reborn
(2019-12-14) Package deleted from pkgsrc
(2019-06-25) Package has been reborn

CVS history: (Expand)

2015-05-21 00:33:29 by Alexander Nasonov | Files touched by this commit (5)

Log message:
Initial commit of sollya-4.1.

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.