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

---

diff --git a/lkcl.mdwn b/lkcl.mdwn
index f7f9a0cea..1af671a7b 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -38,10 +38,12 @@ move things along from one stage to the next
  - <https://bugs.libre-soc.org/show_bug.cgi?id=310> FU multiple tasks
  - <https://bugs.libre-soc.org/show_bug.cgi?id=335> Branch proof
    - EUR 400 shared 25% [[mnolan]] EUR 100
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=306> ALU proof
+   - EUR 500 shared [[mnolan]] samuel, TBD split
 
 ## Completed but not yet submitted:
 
-### 2019-10P-046 19-aug-2020  NLNet 2019 Formal Standards OpenPOWER 
+### 2019-10P-046 19-aug-2020  NLNet 2019-10-046 Formal Standards OpenPOWER 
 
  - <https://bugs.libre-soc.org/show_bug.cgi?id=463>
     - EUR 2000, python POWER9 simulator
@@ -54,8 +56,6 @@ move things along from one stage to the next
 
  - <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