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

[Luke Kenneth Casson Leighton]

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
issue:

http://bugs.libre-riscv.org/show_bug.cgi?id=111#c1

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.

warmest,

l.