S'identifier
Nouveau compte
  
 
Accueil
Ma page
Arbre des projets
Boite à outils
Demande d'aide
Correctly Rounded Math Library
            
 
 
En bref
Fichiers
    
 

Administration

Notes :

Nom de version : crlibm-0.10beta

Notes : This release contains 10 finished functions: exp log log2 log10 sin cos tan atan cosh sinh. It also includes a complete rewrite of exp and log, which do not use the SCS library anymore. This entails a 10x improvement in worst-case time. Besides, the logarithm uses double-extended arithmetic if available, for another 2-4x improvement in average case performance. Log is now comparable to the best available libm on most systems (and sometimes faster). This release also marks the transition to machine-assisted proofs using the Gappa tool. This is the beta part :) Comments and bug reports welcome. The crlibm team


Changemenents :

 

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment