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

1 files changed, 1 insertions, 0 deletions

diff --git a/AUTHORS b/AUTHORS
index 519853701..05528607c 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -20,6 +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
 
 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