(no commit message)

[libreriscv.git] / mnolan.mdwn

diff --git a/mnolan.mdwn b/mnolan.mdwn
index 8cbf22af659ac5abe5001b4169b370711652809d..472c8135b3bf6f23293084c34627fdd238bf12cd 100644 (file)
--- 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