(no commit message)

[libreriscv.git] / mnolan.mdwn

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