[libre-riscv-dev] [Bug 343] compalu_multi write requests need to hook into Data.ok

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Wed May 27 15:27:54 BST 2020


--- Comment #1 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
nuts.  just realised that all the formal proofs - and unit tests - need to
check XER.so ok, XER.ca ok etc. as well.

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

More information about the libre-riscv-dev mailing list