[libre-riscv-dev] bug in sfpy on FP16 integer initialisation

Luke Kenneth Casson Leighton lkcl at lkcl.net
Wed Jul 17 07:53:51 BST 2019

hi bill, (ccing libre-riscv-dev hope you don't mind),

we've been using sfpy for the purposes of verifying the correctness of
a full hardware implementation of an IEEE754 FPU, and have been
extremely happy with it.

as might be expected, however, with something that comprehensive, it
was only a matter of time before the full code-coverage ran into an


is this a known-issue that has been solved in a more recent update of sfpy?

we *need* to fix this, because sfpy is a critical hard dependency for
our project.  we're sponsored by NLnet, and *hypothetically* we could
arrange for a donation to you for your assistance.

if we have to fix this ourselves, would you be interested in patches
or tracking the resultant branch? [note: unfortunately as a libre
project we cannot use github].

once again, *really* grateful that you went to the trouble of
providing python bindings for softfloat-3.



More information about the libre-riscv-dev mailing list