Mentions légales du service

Admin message

GitLab upgrade completed. Current version is 18.9.6
https://docs.gitlab.com/releases/18/gitlab-18-9-released/

Sollya

Project information

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.

3,268 Commits
15 Branches
19 Tags

README
CeCILL-C Free Software License Agreement
CHANGELOG

Created on

November 17, 2020

Loading