From: lkcl <lkcl@web>
Date: Mon, 28 Feb 2022 13:52:28 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~3176
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=916b9c6ea2d35862a8a702437569ca6c7b96eaa8;p=libreriscv.git

---

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 9de5cb06b..796112b89 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -46,7 +46,7 @@ move things along from one stage to the next
  - <https://bugs.libre-soc.org/show_bug.cgi?id=419> MUL proof
    - EUR 50, shared with samuel 10%
  - <https://bugs.libre-soc.org/show_bug.cgi?id=420> DIV proof
- - <https://bugs.libre-soc.org/show_bug.cgi?id=340> SHIFTROT proof
+
  - <https://bugs.libre-soc.org/show_bug.cgi?id=336> Compunit RA=0 test
  - <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR proof
    - EUR 50, shared with samuel (EUR 350)
@@ -75,9 +75,15 @@ TO SORT
 28feb2022
 
  - <https://bugs.libre-soc.org/show_bug.cgi?id=485> icache
+   * EUR 1500 (shared with [[tplaten]])
  - <https://bugs.libre-soc.org/show_bug.cgi?id=469> dcache
+   * EUR 1500 (shared with [[tplaten]])
  - <https://bugs.libre-soc.org/show_bug.cgi?id=491> mmu
+   * EUR 1000 (shared with [[tplaten]])
  - <https://bugs.libre-soc.org/show_bug.cgi?id=419> MUL Formal (donated)
+   * EUR 500 (shared with [[programmerjake]])
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=340> SHIFTROT proof
+   * EUR 400 (shared with [[programmerjake]])
 
 before that