From: lkcl <lkcl@web>
Date: Tue, 18 Aug 2020 13:05:16 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~2236
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5cbaff56ba7987c8e25aaf641185aabda438aaee;p=libreriscv.git

---

diff --git a/lkcl.mdwn b/lkcl.mdwn
index d4521250d..5285a4024 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -45,6 +45,19 @@ move things along from one stage to the next
     - EUR 250, functions needed for simulator
     - Shared 20% with [[mnolan]], EUR 50
 
+#### proofs
+
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=421> Trap proof
+   - EUR 500 shared 20% samuel, EUR 100
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=306> ALU proof
+   - EUR 500 shared [[mnolan]] samuel, TBD split
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=332> CR proof
+   - EUR 300 shared 1/6 [[mnolan]] EUR 50
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=331> Logic proof
+   - EUR 400 shared 25% [[mnolan]] EUR 100
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=312> countzero proof
+   - EUR 150
+
 ### unclassified
 
  - <https://bugs.libre-soc.org/show_bug.cgi?id=393> WB to LDST
@@ -65,26 +78,16 @@ move things along from one stage to the next
    - EUR 200
  - <https://bugs.libre-soc.org/show_bug.cgi?id=325> Trap pipe
    - EUR 500 60% shared, cole (20%) samuel (20%), EUR 300
- - <https://bugs.libre-soc.org/show_bug.cgi?id=421> Trap proof
-   - EUR 500 shared 20% samuel, EUR 100
  - <https://bugs.libre-soc.org/show_bug.cgi?id=382> SRAM wishbone object
    - EUR 150
  - <https://bugs.libre-soc.org/show_bug.cgi?id=305> ALU pipe
    - EUR 400 shared 50% [[mnolan]] EUR 200
- - <https://bugs.libre-soc.org/show_bug.cgi?id=306> ALU proof
-   - EUR 500 shared [[mnolan]] samuel, TBD split
  - <https://bugs.libre-soc.org/show_bug.cgi?id=313> Branch pipe
    - EUR 250 shared 40% [[mnolan]] EUR 100
  - <https://bugs.libre-soc.org/show_bug.cgi?id=314> CR pipe
    - EUR 300 shared 1/3 [[mnolan]] EUR 100
- - <https://bugs.libre-soc.org/show_bug.cgi?id=332> CR proof
-   - EUR 300 shared 1/6 [[mnolan]] EUR 50
  - <https://bugs.libre-soc.org/show_bug.cgi?id=330> Logic pipe
    - EUR 300 shared 50% [[mnolan]] EUR 150
- - <https://bugs.libre-soc.org/show_bug.cgi?id=331> Logic proof
-   - EUR 400 shared 25% [[mnolan]] EUR 100
- - <https://bugs.libre-soc.org/show_bug.cgi?id=312> countzero proof
-   - EUR 150
  - <https://bugs.libre-soc.org/show_bug.cgi?id=346> regfile-core
    - EUR 750
  - <https://bugs.libre-soc.org/show_bug.cgi?id=344> add mtmsrd