[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