[libre-riscv-dev] [Bug 196] Formal correctness proof needed for the IEEE754 FPU
authorbugzilla-daemon <bugzilla-daemon@libre-soc.org>
Mon, 27 Apr 2020 20:45:09 +0000 (20:45 +0000)
committerlibre-riscv-dev <libre-riscv-dev@lists.libre-riscv.org>
Mon, 27 Apr 2020 20:45:11 +0000 (21:45 +0100)
commit83e31d9038ceba68eef3ce3caac3f2b74ab6beb9
treec95b7884cff1953f32b003c45e60fa63e0f026f5
parent54ea74db4d9eec11ab70448f0c46c76283a22b64
[libre-riscv-dev] [Bug 196] Formal correctness proof needed for the IEEE754 FPU
1a/1704170bad9ce3ffc871d59c08c02df0f70cdf [new file with mode: 0644]