|
From: | Paul Eggert |
Subject: | Re: external floating-point representations |
Date: | Sat, 22 Apr 2017 18:38:45 -0700 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 |
Bruno Haible wrote:
- Some schemers even thought it was worthwhile to write a paper about their implementation of this specification. [3].
Yes, Gnulib addresses this problem in the ftoastr module, using a simpler but presumably less-efficient approach. As it happens, an improved algorithm was published by the Lerner group in POPL'16, so I installed the attached.
0001-ftoastr-cite-a-newer-paper.patch
Description: Text Data
[Prev in Thread] | Current Thread | [Next in Thread] |