(no commit message)

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 156dd22f7c52533c03700593ce19da87ab6b0a90..6147b420022d70cc53339ae9b4a0e9d05493ddff 100644 (file)
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -41,6 +41,7 @@ move things along from one stage to the next
  - <https://bugs.libre-soc.org/show_bug.cgi?id=493> DMI to JTAG
    - EUR 250 (share with cole)
 
+
 ## Completed but not yet submitted:
 
  - <https://bugs.libre-soc.org/show_bug.cgi?id=348> SPR pipe
@@ -60,6 +61,28 @@ move things along from one stage to the next
  - <https://bugs.libre-soc.org/show_bug.cgi?id=476> addme bug
    - EUR 100
 
+  - <http://bugs.libre-riscv.org/show_bug.cgi?id=186> POWER Decoder
+     - with [[lkcl]]
+  - <http://bugs.libre-riscv.org/show_bug.cgi?id=208> CORDIC
+  - <https://bugs.libre-soc.org/show_bug.cgi?id=272>
+     - functions needed for simulator
+     - Shared 90% with [[lkcl]]
+  - <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> 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
+  - <https://bugs.libre-soc.org/show_bug.cgi?id=340> parent #195
+    - POWER9 ROTATE proof
+  - <https://bugs.libre-soc.org/show_bug.cgi?id=342> parent #197
+    - MultiCompUnit (and Function Units) proof
+
 ## Submitted for NLNet RFP
 
 submitted but not confirmed paid: