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

bugzilla-daemon at libre-riscv.org bugzilla-daemon at libre-riscv.org
Mon Mar 9 16:50:02 GMT 2020


Jacob Lifshay <programmerjake at gmail.com> changed:

           What    |Removed                     |Added
                 CC|                            |programmerjake at gmail.com

--- Comment #3 from Jacob Lifshay <programmerjake at gmail.com> ---
One thing that would be useful is testing our decoder against a Power
assembler/disassembler (gas, llvm-as, objdump, llvm-objdump)

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

More information about the libre-riscv-dev mailing list