[Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Wed Jul 15 16:32:05 BST 2020


https://bugs.libre-soc.org/show_bug.cgi?id=432

--- Comment #12 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
thank you jacob for spotting this. am reasonably happy with this one however
would prefer to leave it open until qemu tests against the simulator are added.
 also crossref to the Formal Proof as something to watch out for

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


More information about the libre-soc-bugs mailing list