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

---

diff --git a/mnolan.mdwn b/mnolan.mdwn
index 8cbf22af6..472c8135b 100644
--- a/mnolan.mdwn
+++ b/mnolan.mdwn
@@ -15,8 +15,14 @@ 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
- - <https://bugs.libre-soc.org/show_bug.cgi?id=332> POWER9 CR proof
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=306> parent #195
+    - POWER9 ALU proof
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=332> parent #195
+    - POWER9 CR proof
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=335> parent #195
+    - POWER9 BRANCH proof
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=331> parent #195
+    - POWER9 LOGICAL proof
 
 ## Completed not yet submitted