re-reserve bit in setvl -- needed for extending registers:

[libreriscv.git] / lkcl.mdwn

diff --git a/lkcl.mdwn b/lkcl.mdwn
index bf6542d0b1ee86d9033c28737de2623b1cd30ad7..657c3791d569994153f3c354bfe287f0ec013412 100644 (file)
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -11,17 +11,46 @@ Lead dev and Project Coordinator for Libre-SOC.
 
 move things along from one stage to the next
 
+## Priority tasks to keep an eye on
+
+* <https://bugs.libre-soc.org/show_bug.cgi?id=195> Power ISA Formal Proof
+  EUR 6550
+* <https://bugs.libre-soc.org/show_bug.cgi?id=198> nmutil/etc Formal Proofs
+   EUR 8650
+* <https://bugs.libre-soc.org/show_bug.cgi?id=197> 6600 proof
+  EUR 5000
+
 ## Currently working on
 
  - Project Management
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=594> PartitionedSignal RFC
+   - EUR 1500
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=665> nmigen c compiler
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=214> ISANS letter
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=240> ISA switch
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=238> Compressed writeup
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=858> SVP64 Primer
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=867> svindex
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=834> binutils draft instructions
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=533> cr int draft instructions
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=251> 3D MESA
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=844> binutils magic
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=839> SVP64 whitepaper
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=243> Documentation SVP64 Proposals
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=834> management, binutils
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=463> donated, Simulator
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=237> SV Encoding
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=790> nextpnr-xilinx
+   - EUR 150
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=802> ls2 documentation
+   - EUR 150
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=664> SVP64 Branches
+   - EUR 1000
  - <https://bugs.libre-soc.org/show_bug.cgi?id=176> Partitioned Logic
- - <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=167> Partitioned Mux
    - EUR 250
  - <https://bugs.libre-soc.org/show_bug.cgi?id=458> Partitioned Type 2 DSL
-   - EUR 1250
+   - EUR 1000 of 1250 shared
  - <https://bugs.libre-soc.org/show_bug.cgi?id=549> Partitioned Logic docs
  - <https://bugs.libre-soc.org/show_bug.cgi?id=684> XLEN-16 fails
  - <https://bugs.libre-soc.org/show_bug.cgi?id=701> DCT FFT documentation
@@ -39,7 +68,6 @@ move things along from one stage to the next
  - <https://bugs.libre-soc.org/show_bug.cgi?id=213> SV Spec
  - <https://bugs.libre-soc.org/show_bug.cgi?id=214> ISAMux writeup
  - <https://bugs.libre-soc.org/show_bug.cgi?id=450> Create HDL MMU
- - <https://bugs.libre-soc.org/show_bug.cgi?id=458> PartitionedSignal Module
  - <http://bugs.libre-riscv.org/show_bug.cgi?id=81> 6600 scoreboard
  - <http://bugs.libre-riscv.org/show_bug.cgi?id=206> branch prediction research
  - <https://bugs.libre-soc.org/show_bug.cgi?id=216> LDST buffer
@@ -48,7 +76,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 +102,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]]