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

[bugzilla-daemon at libre-soc.org]

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

--- 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.