[Libre-soc-bugs] [Bug 1072] implement fcvt/fmv instructions in ISACaller (ls006)

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Thu May 11 09:56:34 BST 2023


--- Comment #22 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #21)

> next is adding smoke tests of the rest of fp_working_format, and deciding if
> we want the bfp_* functions to be manually translated from mostly english
> prose to pseudocode (preferred) 

yes agreed. ultimately they could be submitted to the OPF ISAWG
to add to the Appendix.

and also run through Boris Shingarov's Formal Proof converter which
is based on pywriter.py

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

More information about the libre-soc-bugs mailing list