[libre-riscv-dev] [Bug 211] formal proof of PowerDecoder stage2 needed

[bugzilla-daemon at libre-riscv.org]

http://bugs.libre-riscv.org/show_bug.cgi?id=211

--- Comment #4 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #3)
> One thing that would be useful is testing our decoder against a Power
> assembler/disassembler (gas, llvm-as, objdump, llvm-objdump)

ooo that's a neat idea. see #212

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