From 6bea1ad0efebc27414680f5f1cc00984c3284dfd Mon Sep 17 00:00:00 2001 From: lkcl Date: Wed, 5 Aug 2020 12:32:08 +0100 Subject: [PATCH] --- lkcl.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lkcl.mdwn b/lkcl.mdwn index 4c37ade64..c4929be70 100644 --- a/lkcl.mdwn +++ b/lkcl.mdwn @@ -22,7 +22,6 @@ move things along from one stage to the next - test core to regfiles - MUL pipe - MUL proof - - DIV pipe - DIV proof - Compunit RA=0 test - POWER9 regfiles @@ -56,6 +55,7 @@ move things along from one stage to the next - add mtmsrd - illegal instructions - MSR and PC "state" + - DIV pipe ## Submitted for NLNet RFP -- 2.30.2