From: lkcl <lkcl@web>
Date: Fri, 21 Aug 2020 17:54:28 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~2223
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=27ba58c3b1c77c68e3c7b793a716e7ee4052095a;p=libreriscv.git

---

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 56c7fdbc1..f7f9a0cea 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -50,7 +50,7 @@ move things along from one stage to the next
     - EUR 250, functions needed for simulator
     - Shared 20% with [[mnolan]], EUR 50
 
-#### proofs
+#### proofs 2019-10-032
 
  - <https://bugs.libre-soc.org/show_bug.cgi?id=421> Trap proof
    - EUR 500 shared 20% samuel, EUR 100
@@ -63,8 +63,10 @@ move things along from one stage to the next
  - <https://bugs.libre-soc.org/show_bug.cgi?id=312> countzero proof
    - EUR 150
 
-### wishbone
+### wishbone 2019-10-043
 
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=460> Document 6600
+   - EUR 500
  - <https://bugs.libre-soc.org/show_bug.cgi?id=393> WB to LDST
     - EUR 300
  - <https://bugs.libre-soc.org/show_bug.cgi?id=414> DMI interface
@@ -103,11 +105,6 @@ move things along from one stage to the next
    - EUR 100
  - <https://bugs.libre-soc.org/show_bug.cgi?id=324> DIV pipe
    - EUR 1500 shared with [[programmerjake]] 1/3 (EUR 500)
-
-### Documentation
-
- - <https://bugs.libre-soc.org/show_bug.cgi?id=460> Document 6600
-   - EUR 500
  
 ## Submitted for NLNet RFP