(no commit message)

[libreriscv.git] / lkcl.mdwn

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 96815c63b35a9f5c829cc0035d3dd49c983157a8..796112b89c10faec29d256b74d06da2028306528 100644 (file)
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -14,9 +14,7 @@ move things along from one stage to the next
 ## Currently working on
 
  - Project Management
- - <https://bugs.libre-soc.org/show_bug.cgi?id=485> icache
- - <https://bugs.libre-soc.org/show_bug.cgi?id=469> dcache
- - <https://bugs.libre-soc.org/show_bug.cgi?id=491> mmu
+
  - <https://bugs.libre-soc.org/show_bug.cgi?id=176> Partitioned Logic
  - <https://bugs.libre-soc.org/show_bug.cgi?id=167> Partitioned Mux
    - EUR 250
@@ -48,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)
@@ -74,6 +72,21 @@ move things along from one stage to the next
 
 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
+
  - <https://bugs.libre-soc.org/show_bug.cgi?id=686> create Power ISA test API
    - EUR 1600
    - EUR 800 shared with [[klehman]]