From d5665bf2d20d08cbcb96177297e8f4a2f52d9c56 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Tue, 7 Jul 2020 12:15:58 +0100
Subject: [PATCH]

---
 lkcl.mdwn | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 42730effa..f13153dfb 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -20,11 +20,16 @@ move things along from one stage to the next
     - Shared 10% with [[mnolan]]
  - <https://bugs.libre-soc.org/show_bug.cgi?id=216> LDST buffer
  - <https://bugs.libre-soc.org/show_bug.cgi?id=305> ALU pipe
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=306> ALU proof
  - <https://bugs.libre-soc.org/show_bug.cgi?id=346> test core to regfiles
  - <https://bugs.libre-soc.org/show_bug.cgi?id=313> Branch pipe
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=335> Branch proof
  - <https://bugs.libre-soc.org/show_bug.cgi?id=314> CR pipe
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=323> CR proof
  - <https://bugs.libre-soc.org/show_bug.cgi?id=315> SPR pipe
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR proof
  - <https://bugs.libre-soc.org/show_bug.cgi?id=323> MUL pipe
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=419> MUL proof
  - <https://bugs.libre-soc.org/show_bug.cgi?id=324> DIV pipe
  - <https://bugs.libre-soc.org/show_bug.cgi?id=325> Trap pipe
  - <https://bugs.libre-soc.org/show_bug.cgi?id=330> Logic pipe
-- 
2.30.2