From: lkcl <lkcl@web>
Date: Wed, 20 May 2020 14:17:42 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~2621
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fdc81e62781a18bd82fc99b843b7b98eaf55378b;p=libreriscv.git

---

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