[libre-riscv-dev] ieee754 formal proofs for fsgnj and fmax

[Luke Kenneth Casson Leighton]

michael hi before i forget can you please create a bugreport
retrospectively mentioning the 2 formal proofs you did and crossref
the git.libre-riscv.org commit or src files gitweb links, and then put
it as a dependency of #158?
http://bugs.libre-riscv.org/show_bug.cgi?id=158

the reason is so it doesn't get lost and we make sure you get some $
for them under the other budget.

l.

---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68