From 68e3eaf336bc2a7cf419da11140bd975393b4c7d Mon Sep 17 00:00:00 2001 From: lkcl Date: Tue, 18 Aug 2020 11:50:22 +0100 Subject: [PATCH] --- lkcl.mdwn | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.30.2