summaryrefslogtreecommitdiff
path: root/doc
Commit message (Expand)AuthorAgeFilesLines
* [doc/mpfr.texi] Updated the month.vlefevre2018-09-101-1/+1
* [doc/mpfr.texi] Added @tie{} (normal non-breakable space) at variousvlefevre2018-09-071-194/+201
* [doc/mpfr.texi] mpfr_rootn_ui, mpfr_root: changed k to n in order tovlefevre2018-09-071-10/+12
* [tests/mpfr-test.h] If MPFR_TESTS_ABORT is defined, replace exit(1) byvlefevre2018-09-031-0/+2
* [doc/README.dev] More correction about the MPFR_TESTS_TIMEOUT macro.vlefevre2018-08-311-3/+4
* [doc/README.dev] Clarification about MPFR_TESTS_TIMEOUT.vlefevre2018-08-311-3/+3
* [doc/README.dev] Reverted r13090: this was already mentioned at thevlefevre2018-08-311-2/+1
* [README.dev] mention that MPFR_TESTS_TIMEOUT only works with --enable-tests-t...zimmerma2018-08-311-1/+2
* [mini-gmp] updatezimmerma2018-08-281-3/+3
* [doc/README.dev] Describe MPFR_WANT_PROVEN_CODE.vlefevre2018-08-231-0/+3
* the mpfr_mul_1 extracted code is not proven yetzimmerma2018-08-231-2/+2
* added configure option --enable-formally-proven-code and corresponding codezimmerma2018-08-231-2/+4
* [doc/algorithms.tex] Ulp calculus: swap Rule 4 and Rule 5.vlefevre2018-08-221-17/+17
* [doc/algorithms.tex] Ulp calculus Rule 4: make the proof much simpler.vlefevre2018-08-221-9/+7
* [doc/algorithms.tex] Error calculus: implicitly assume x ≠ 0 in ulp.vlefevre2018-08-221-0/+2
* [doc/mpfr.texi] Updated the month.vlefevre2018-08-211-1/+1
* [doc/mpfr.texi] Replaced "Section ``Rounding''" by "@ref{Rounding}".vlefevre2018-08-201-1/+1
* [doc/mpfr.texi] renamed Section "Rounding Modes" to "Rounding"zimmerma2018-08-201-7/+7
* Replaced "TZ=UTC" by "TZ=UTC0" for portability.vlefevre2018-08-111-3/+3
* [doc/README.dev] More details about intmax_t, mpfr_intmax_t, etc.vlefevre2018-08-061-4/+15
* [doc/README.dev] Updated/added links about coding standards and C.vlefevre2018-08-061-3/+17
* Shared caches: fix and minor changes.vlefevre2018-07-181-0/+9
* [doc/mpfr.texi] More changes to Section "Nomenclature and Types";vlefevre2018-07-091-8/+22
* [doc/mpfr.texi] In Section "Nomenclature and Types", removed all thevlefevre2018-07-091-3/+0
* [doc/mpfr.texi] Rewrote the paragraph defining "floating-point number"vlefevre2018-07-091-17/+14
* [doc/mpfr.texi] Updated the month.vlefevre2018-07-061-1/+1
* [doc/mpfr.texi] typo in Fredrik's namezimmerma2018-07-051-1/+1
* Added MPFR_CHECK_LOCALES environment variable for the tests (to bevlefevre2018-07-041-1/+6
* [doc/mpfr.texi] Updated the month.vlefevre2018-06-231-1/+1
* added mpfr_get_decimal128 and mpfr_set_decimal128 to the manualzimmerma2018-06-221-13/+23
* [doc/README.dev] added standard suffixeszimmerma2018-06-221-1/+4
* [doc/README.dev] Added a note about FP constants and native FP.vlefevre2018-06-191-0/+14
* [doc/algorithms.bib] added referencezimmerma2018-06-072-2/+16
* [doc/README.dev] Updated a URL.vlefevre2018-05-311-2/+2
* [doc/mpfr.texi] Updated the month.vlefevre2018-05-311-1/+1
* Updated mpfr.org URL's to use https (except in ChangeLog and NEWS).vlefevre2018-05-312-6/+6
* [doc] Updated FAQ.html with update-faq.vlefevre2018-05-301-2/+4
* [doc] Workaround due to the lack of https support in libxml2vlefevre2018-05-302-1/+12
* [doc/update-faq] http → httpsvlefevre2018-05-301-1/+1
* [doc/README.dev] Added info about shell portability, and in particularvlefevre2018-05-281-0/+25
* [doc/README.dev] Added info about spelling.vlefevre2018-04-301-0/+6
* Corrected "runtime" to "run time" (noun) or "run-time" (adjective)vlefevre2018-04-301-1/+1
* [doc/mpfr.texi] Note that mpfr_dot does not yet handle intermediatevlefevre2018-04-191-1/+2
* [doc/mpfr.texi] In the added functions, note that mpfr_dot is incompletevlefevre2018-04-191-1/+1
* [doc/mpfr.texi] Updated the month.vlefevre2018-04-191-1/+1
* added mpfr_dotzimmerma2018-04-191-0/+10
* [doc/README.dev] "To make a release": check also withvlefevre2018-04-161-0/+2
* [doc/mpfr.texi] Typographic correction (texinfo rule).vlefevre2018-03-241-1/+1
* [doc/mpfr.texi] Added mpfr_total_order in "Added Functions".vlefevre2018-03-231-0/+2
* [doc/mpfr.texi] Improved mpfr_total_order description.vlefevre2018-03-231-4/+9
View Lorry Controller Status