Home My Page Projects Sollya
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files
Close InriaForge Scheduled outage on Tuesday October 30, 2018, from 2PM CEST

Project description

Sollya is a tool environment for safe floating-point code development. It is particularily targeted to the automatized implementation of libms. Amongst other features, it offers a certified infinite norm and a fast Remez algorithm.

Project Information

Registered: 2007-10-26 12:00
Activity Ranking: 237
View project Statistics or Activity
View list of RSS feeds available for this project.
Latest File Releases
Package Version Date Notes Download
sollya sollya-7.0 2018-09-21 sollya - Release Notes sollya sollya-7.0 - Download
Public Tools
Tracker  Tracker
 Public Forums (3 messages in 3 forums)
Mailing Lists (4 public mailing lists)
SCM Repository (Git: 13,127 updates, 2,496 adds)
Latest News
No News Found