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

[Jacob Lifshay]

bug resolved as instance of forgetting to read the docs, see comments on
bugzilla

On Tue, Jul 16, 2019, 23:54 Luke Kenneth Casson Leighton <lkcl at lkcl.net>
wrote:

> 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.
>
> _______________________________________________
> libre-riscv-dev mailing list
> libre-riscv-dev at lists.libre-riscv.org
> http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev
>