This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Re: Draft C bindings for IEEE 754-2008 part 4 now available
- From: "Joseph S. Myers" <joseph at codesourcery dot com>
- To: Vincent Lefevre <vincent+gcc at vinc17 dot org>
- Cc: Andrew Haley <aph at redhat dot com>, Florian Weimer <fweimer at redhat dot com>, <gcc at gcc dot gnu dot org>, <libc-alpha at sourceware dot org>
- Date: Tue, 7 Jan 2014 16:18:48 +0000
- Subject: Re: Draft C bindings for IEEE 754-2008 part 4 now available
- Authentication-results: sourceware.org; auth=none
- References: <20140107160716 dot GA984 at ypig dot lip dot ens-lyon dot fr>
On Tue, 7 Jan 2014, Vincent Lefevre wrote:
> For some of them, this is proved. Here's a summary of the current
> status:
>
> http://tamadiwiki.ens-lyon.fr/tamadiwiki/images/c/c1/Lefevre2013.pdf
Thanks for the details. What's the current state of the art on the
asymptotic cost of the exhaustive searches?
--
Joseph S. Myers
joseph@codesourcery.com