From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org
X-Spam-Level: 
X-Spam-Status: No, score=-3.3 required=5.0 tests=MAILING_LIST_MULTI,
	RCVD_IN_DNSWL_MED,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL autolearn=ham
	autolearn_force=no version=3.4.4
Received: (qmail 23036 invoked from network); 4 Jan 2022 00:04:53 -0000
Received: from mother.openwall.net (195.42.179.200)
  by inbox.vuxu.org with ESMTPUTF8; 4 Jan 2022 00:04:53 -0000
Received: (qmail 21907 invoked by uid 550); 4 Jan 2022 00:04:50 -0000
Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm
Precedence: bulk
List-Post: <mailto:musl@lists.openwall.com>
List-Help: <mailto:musl-help@lists.openwall.com>
List-Unsubscribe: <mailto:musl-unsubscribe@lists.openwall.com>
List-Subscribe: <mailto:musl-subscribe@lists.openwall.com>
List-ID: <musl.lists.openwall.com>
Reply-To: musl@lists.openwall.com
Received: (qmail 21867 invoked from network); 4 Jan 2022 00:04:48 -0000
X-Authentication-Warning: key0.esi.com.au: damianm owned process doing -bs
Date: Tue, 4 Jan 2022 11:04:32 +1100 (AEDT)
From: Damian McGuckin <damianm@esi.com.au>
To: musl@lists.openwall.com
In-Reply-To: <mw7dbhotlc.fsf@tomate.loria.fr>
Message-ID: <alpine.LRH.2.02.2201041058550.819@key0.esi.com.au>
References: <mw7dbhotlc.fsf@tomate.loria.fr>
User-Agent: Alpine 2.02 (LRH 1266 2009-07-14)
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII
Subject: Re: [musl] correctly rounded mathematical functions


Hi Paul,

On Mon, 3 Jan 2022, Paul Zimmermann wrote:

> Are developers of Musl interested by such functions?

Speaking only for myself, yes.

> If so, we could discuss what would be the requirements for integration 
> in Musl in terms of license, table size, allowed operations.

Outside my remit.  I am sure that only as you consider the needs of the 
various targets, will a common set of such requirements become apparent.

Stay safe - Damian