English version

CariBlog – Blog sur les pages recherche de Vincent Lefèvre et l'arithmétique des ordinateurs

Tous les billets.

[XML]

[2017-12-11 22:45:58 UTC]
GNU MPFR 4.0.0 Release Candidate

(CariBlog – MPFR – Logiciels)

The GNU MPFR 4.0.0 release candidate is available.

By the way, I did my first MPFR commit 17 years ago.

[2017-10-30 11:55:45 UTC]
Patch 1 pour GNU MPFR 3.1.6

(CariBlog – MPFR – Logiciels)

Le patch 1 de GNU MPFR 3.1.6 est disponible dans la section bugs de la page de MPFR 3.1.6. Il corrige les fonctions de conversion mpfr_get_ld, mpfr_get_si, mpfr_get_ui, mpfr_get_sj, mpfr_get_uj et mpfr_get_z lorsqu'elles sont appelées avec une plage d'exposants très réduite.

[2017-09-08 20:18:11 UTC]
GNU MPFR 3.1.6 est sortie

(CariBlog – MPFR – Logiciels)

La bibliothèque GNU MPFR 3.1.6 (canard à l'orange, patch level 6) est sortie. Les changements par rapport à la version 3.1.5:

  • Amélioration du manuel de MPFR.

  • Corrections de bugs (liste détaillée sur la page de MPFR 3.1.5 et dans le fichier ChangeLog).

  • Autotools: Sous Linux, on s'assure que les anciens dtags (lorsqu'ils sont supportés) sont utilisés si la variable d'environnement LD_LIBRARY_PATH est définie; sinon make check vérifierait une bibliothèque MPFR compatible installée, trouvée dans LD_LIBRARY_PATH, au lieu de celle qui a été compilée avec make.

[2017-09-04 17:12:59 UTC]
GNU MPFR 3.1.6 Release Candidate

(CariBlog – MPFR – Logiciels)

The GNU MPFR 3.1.6 release candidate has been available for a few days.

[2017-08-01 20:13:40 UTC]
Patch 10 pour GNU MPFR 3.1.5

(CariBlog – MPFR – Logiciels)

Le patch 10 de GNU MPFR 3.1.5 est disponible dans la section bugs de la page de MPFR 3.1.5. Il corrige une inclusion incorrecte d'en-tête introduite par le patch 8, afin d'obtenir la définition correcte des symboles et éviter une erreur à l'édition de liens sous Microsoft Windows avec DLL.

[2017-07-22 07:34:55 UTC]
Patch 9 pour GNU MPFR 3.1.5

(CariBlog – MPFR – Logiciels)

Le patch 9 de GNU MPFR 3.1.5 est disponible dans la section bugs de la page de MPFR 3.1.5. Il corrige un bug très important pour les utilisateurs de plateformes avec un unsigned long sur 32 bits (ABI 32 bits ou Microsoft Windows) pour les très grandes précisions: les calculs dans sin_cos.c sont affectés par des dépassements de capacité dans ces précisions (plus de 1 000 000 bits environ) à cause de la taille limite du type unsigned long. En pratique, ceci introduit une erreur pouvant aller jusqu'à approximativement 2−1019574, si bien que les fonctions trigonométriques (mpfr_sin, mpfr_cos, mpfr_tan) et les fonctions qui les appellent peuvent être très peu précises (limitant la précision globale à environ un million de bits pour ces fonctions sur de telles plateformes).

[2017-06-07 21:51:03 UTC]
Patches 3 à 8 pour GNU MPFR 3.1.5

(CariBlog – MPFR – Logiciels)

Les patches 3 à 8 de GNU MPFR 3.1.5 sont disponibles dans la section bugs de la page de MPFR 3.1.5. Les cinq premiers corrigent des problèmes mineurs et le patch 8 corrige certaines macros de mpf2mpfr.h (seuls les utilisateurs de ce fichier d'en-tête, utilisé pour compiler des programmes GMP/mpf avec MPFR au lieu de mpf, peuvent être affectés).

[2017-04-10 11:44:15 UTC]
Mes dernières publications

(CariBlog – MPFR)

J'ai deux nouveaux papiers qui viennent d'être acceptés, tous les deux liés à GNU MPFR.

[2017-02-17 16:19:10 UTC]
Status of the GNU MPFR Trunk

(CariBlog – MPFR – Logiciels)

For those who test the GNU MPFR trunk via Subversion on InriaForge:

  • The tzeta test should no longer fail on most platforms (IEEE 754 machines with default IEEE exception handling).

  • The tsprintf test still fails (fix in progress). The cause is a major efficiency issue in particular cases (huge precision requested).

Note: Both problems are also present in the released versions, but they have no tests that trigger them.

[2016-12-26 00:07:32 UTC]
Patch 2 pour GNU MPFR 3.1.5

(CariBlog – MPFR – Logiciels)

Le patch 2 de GNU MPFR 3.1.5 est disponible dans la section bugs de la page de MPFR 3.1.5. Il corrige le bug suivant. La fonction mpfr_strtofr peut retourner une valeur ternaire incorrecte dans le mode d'arrondi au plus près (MPFR_RNDN).

[2016-12-15 17:57:00 UTC]
Patch 1 pour GNU MPFR 3.1.5

(CariBlog – MPFR – Logiciels)

Le patch 1 de GNU MPFR 3.1.5 est disponible dans la section bugs de la page de MPFR 3.1.5. Il corrige le bug suivant. Les fonctions de sortie formatée (mpfr_*printf) provoquent un comportement indéfini ou une assertion non vérifiée quand une précision inférieure à −1 est donnée comme argument pour le spécifieur de conversion f ou F (la précision donnée aurait dû être ignorée).

[2016-09-27 17:44:06 UTC]
GNU MPFR 3.1.5 est sortie

(CariBlog – MPFR – Logiciels)

La bibliothèque GNU MPFR 3.1.5 (canard à l'orange, patch level 5) est sortie. Les changements par rapport à la version 3.1.4:

[2016-09-12 21:29:25 UTC]
Patches 5 et 6 pour GNU MPFR 3.1.4

(CariBlog – MPFR – Logiciels)

Les patches 5 et 6 de GNU MPFR 3.1.4 sont disponibles dans la section bugs de la page de MPFR 3.1.4. Le patch 5 corrige des bugs dans la fonction interne de test d'arrondi mpfr_can_round_raw, utilisée par la fonction publique mpfr_can_round (en particulier, les quelques fonctions mathématiques de MPFR qui utilisent ce test d'arrondi pourraient être arrondies non correctement). Le patch 6 corrige la fonction mpfr_get_ld, qui n'arrondissait pas correctement dans la plage des dénormalisés sur les plateformes x86.

[2016-08-05 19:58:20 UTC]
Patch 4 pour GNU MPFR 3.1.4

(CariBlog – MPFR – Logiciels)

Le patch 4 de GNU MPFR 3.1.4 est disponible dans la section bugs de la page de MPFR 3.1.4. Il corrige une incompatibilité de certains programmes de test avec la norme C++11 (utilisée par défaut avec g++ de GCC 6) et est utile seulement à ceux qui compilent MPFR avec un tel compilateur C++ (au lieu d'un compilateur C).

[2016-07-17 15:11:29 UTC]
My ARITH-23 Article and Slides: Correctly Rounded Arbitrary-Precision Floating-Point Summation

(CariBlog – MPFR)

A few days ago, I presented my paper Correctly Rounded Arbitrary-Precision Floating-Point Summation at the 23rd IEEE Symposium on Computer Arithmetic (ARITH 23), which took place from July 10 to July 13, 2016, in Santa Clara, California, USA. The goal of this work was a complete rewrite of the mpfr_sum function for the next GNU MPFR release (version 4.0.0). Here are links to my article and my slides.

Note that I did some improvements since I wrote the article. The slides are more up-to-date, covering the current mpfr_sum function (r10503) at this time. The current sum.txt file (r10523) contains more details, but it is still not up-to-date (like the article).



webmaster@vinc17.org