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 23144 invoked from network); 29 Jun 2020 10:42:41 -0000
Received: from mother.openwall.net (195.42.179.200)
  by inbox.vuxu.org with ESMTPUTF8; 29 Jun 2020 10:42:41 -0000
Received: (qmail 15852 invoked by uid 550); 29 Jun 2020 10:42:39 -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 15822 invoked from network); 29 Jun 2020 10:42:39 -0000
From: =?utf-8?q?mayuresh=40kathe=2Ein?= <mayuresh@kathe.in>
To: musl@lists.openwall.com
User-Agent: SOGoMail 4.3.0
MIME-Version: 1.0
Date: Mon, 29 Jun 2020 12:42:27 +0200
Message-ID: <3a5f-5ef9c580-33-213e2940@106506192>
X-Forward: 127.0.0.1
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Subject: [musl] Posits support under Musl =?utf-8?q?libc=3F?=

Hello,

Can the "musl" libc project consider supporting the Posit number format=
 in the math routines?

More details;
https://posithub.org/docs/Posits4.pdf
https://posithub.org/docs/BeatingFloatingPoint.pdf

And a sample implementation;
https://gitlab.com/cerlane/SoftPosit

Best regards,

~Mayuresh