[libre-riscv-dev] [Bug 313] Create Branch Pipeline for POWER9

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Fri May 22 19:21:34 BST 2020


--- Comment #38 from Michael Nolan <mtnolan2640 at gmail.com> ---
I have a formal proof for branches now, I handled the CRs in a similar way to
the CR unit so I know the CR handling is good.

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

More information about the libre-riscv-dev mailing list