From: lkcl <lkcl@web>
Date: Thu, 21 May 2020 00:28:20 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~2619
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2ad424b4f2cb16c9c40f6f1f2087ef5ca2f97dc2;p=libreriscv.git

---

diff --git a/mnolan.mdwn b/mnolan.mdwn
index 83505831d..8cbf22af6 100644
--- a/mnolan.mdwn
+++ b/mnolan.mdwn
@@ -16,6 +16,7 @@ Bored college student and contributor to Libre-SOC
     - Formal proof of decoder
     - EUR 200
  - <https://bugs.libre-soc.org/show_bug.cgi?id=306> POWER9 ALU proof
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=332> POWER9 CR proof
 
 ## Completed not yet submitted