Log In
New Account
  
 
Home
My Page
Project Tree
Code Snippets
Project Openings
Correctly Rounded Math Library
            
 
 
Summary
Tracker
Lists
Tasks
CVS
Files
            
 

Admin

Notes:

Release Name: 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


Changes:

 

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment