[libre-riscv-dev] [Bug 196] Formal correctness proof needed for the IEEE754 FPU

bugzilla-daemon at libre-riscv.org bugzilla-daemon at libre-riscv.org
Mon Mar 9 11:23:44 GMT 2020


--- Comment #1 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---

make sure this is not lost.  james, thank you, i think this went to spam for
most people

You are receiving this mail because:
You are on the CC list for the bug.

More information about the libre-riscv-dev mailing list