From: lkcl <lkcl@web>
Date: Sun, 3 Jan 2021 12:27:45 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~636
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ff965c1ee53e12ca8979959d41e84a7f95a88a37;p=libreriscv.git

---

diff --git a/lkcl.mdwn b/lkcl.mdwn
index f70917369..ef59547a3 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -12,6 +12,7 @@ move things along from one stage to the next
 ## Currently working on
 
  - Project Management
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=565> Partitioning Proof
  - <https://bugs.libre-soc.org/show_bug.cgi?id=557> AV Opcodes
    - EUR 
  - <https://bugs.libre-soc.org/show_bug.cgi?id=556> SV Overview