Sollya is a tool environment 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.
Sollya is developped by Arénaire, Caramel, PEQUAN and APICS. It is written by Christoph Lauter, Sylvain Chevillard, M. Joldeș and N. Jourdan.
help;on the Sollya prompt.
Sollya is based on the following softwares and software libraries:
Remark that Bison and Flex are only needed if Sollya is to be built from a SVN checkout or if the Sollya lexer and parser files are modified.
The gnuplot software is needed neither for building nor for executing Sollya. Sollya is just able to call the gnuplot executable with a data set representing the graph of a function.
Sollya is already used by the following projects:
The Sollya tool and the material of this website is Copyright © 2006-2013 by
Laboratoire de l'Informatique du Parallélisme - UMR CNRS - ENS Lyon - UCB Lyon 1 - INRIA 5668, Lyon, France, LORIA (CNRS, INPL, INRIA, UHP, U-Nancy 2) Nancy, France, Laboratoire d'Informatique de Paris 6, Équipe PEQUAN, UPMC Université Paris 06 - CNRS - UMR 7606 - LIP6, Paris, France, INRIA Sophia-Antipolis Méditerranée, APICS Team, Sophia-Antipolis, France, and by CAPA project, Department of Mathematics, Ångström Laboratory, Uppsala University, Sweden. All rights reserved.
The Sollya tool is open software. It is distributed and can be used,
modified and redistributed under the terms of the CeCILL-C licence
available at http://www.cecill.info/ and reproduced in the
COPYING file of the distribution. The distribution contains parts of other libraries as a support for but not integral part of
Sollya. These libraries are reigned by the GNU Lesser General Public
License that is available at http://www.gnu.org/licenses/ and reproduced in the
COPYING file of the distribution.
This software, the Sollya tool, is distributed WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
Last update: 03/26/2013