diff options
| author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-08-23 10:03:52 +0000 |
|---|---|---|
| committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-08-23 10:03:52 +0000 |
| commit | ddc6d26453d3bf5ba1815ddde529b27025262354 (patch) | |
| tree | af7bdc9d0c9d1bf8c8865007d9bf4287f4617853 /AUTHORS | |
| parent | 302a32e1ce4f6590aa9753298e724331742c6c23 (diff) | |
| download | mpfr-ddc6d26453d3bf5ba1815ddde529b27025262354.tar.gz | |
the mpfr_mul_1 extracted code is not proven yet
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13016 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,7 +20,7 @@ Sylvain Chevillard Original version of ai.c Charles Karney mpfr_nrandom and mpfr_erandom functions Fredrik Johansson New version of mpfr_const_euler Mickaël Gastineau MPFRbench program -Jianyang Pan Formally proven code for mpfr_add1sp1 and mpfr_mul_1 +Jianyang Pan Formally proven code for mpfr_add1sp1 The main authors are included in the MPFR mailing-list <mpfr@inria.fr>. This is the preferred way to contact us. For further information, please |