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

[bugzilla-daemon at libre-soc.org]

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.