diff options
| author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-08-23 07:31:06 +0000 |
|---|---|---|
| committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-08-23 07:31:06 +0000 |
| commit | 942cbae7f90a4fa0d5e1b3ccb19aa6613b98475a (patch) | |
| tree | 9968f9c357a9544af6800a8d466fbcf312e1a128 /NEWS | |
| parent | e0f9f7f434195a92eb887eea781910e328eb4107 (diff) | |
| download | mpfr-942cbae7f90a4fa0d5e1b3ccb19aa6613b98475a.tar.gz | |
added configure option --enable-formally-proven-code and corresponding code
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13011 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -22,6 +22,8 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., Changes from versions 4.0.* to version 4.1.0: - The "..." release. +- New --enable-formally-proven code configure option, to use (when available) + formally proven code. - Improved __GMP_CC and __GMP_CFLAGS retrieval (in particular for MS Windows). - Changed __float128 to the type _Float128 specified in ISO/IEC TS 18661. __float128 is used as a fallback if _Float128 is not supported. |