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

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


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:

SHA1: b08be0502c7c9de1a8a31c237ef1f0fc130963b1
RMD160: 41faeadc45063af57fdaa399ff99f83a3211dd41
Filesize: 3494.886 KB

Version history: (Expand)


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.