(no commit message)

diff --git a/lkcl.mdwn b/lkcl.mdwn
index d4521250d660c5b01735576d6c0af1c823ee1dad..5285a4024472488fe34ed7f48c3b46c86ccf0b2e 100644 (file)
--- 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