From: lkcl Date: Tue, 18 Aug 2020 10:50:22 +0000 (+0100) Subject: (no commit message) X-Git-Tag: convert-csv-opcode-to-binary~2251 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=68e3eaf336bc2a7cf419da11140bd975393b4c7d;p=libreriscv.git --- diff --git a/lkcl.mdwn b/lkcl.mdwn index 15334cee5..07694a962 100644 --- a/lkcl.mdwn +++ b/lkcl.mdwn @@ -26,7 +26,6 @@ move things along from one stage to the next - MUL proof - DIV proof - Compunit RA=0 test - - POWER9 regfiles - SPR pipe - SPR proof - LDST RA=0 test @@ -43,6 +42,8 @@ move things along from one stage to the next ## Completed but not yet submitted: + - POWER9 regfiles + - EUR 200 - Trap pipe - EUR 500 60% shared, cole (20%) samuel (20%), EUR 300 - Trap proof