bug 1048, ls011: Add Fixed Load Shifted Post-Update section

[libreriscv.git] / lkcl.mdwn

diff --git a/lkcl.mdwn b/lkcl.mdwn
index 657c3791d569994153f3c354bfe287f0ec013412..c7f06f0d9a6a90c55371f036aa3a181dc25a985f 100644 (file)
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -6,20 +6,17 @@ Lead dev and Project Coordinator for Libre-SOC.
 * [180nm task list](https://bugs.libre-soc.org/showdependencytree.cgi?maxdepth=1&id=383&hide_resolved=1)
 * <https://readthedocs.org/profiles/lkcl/> readthedocs link
 * <http://twitter.com/lkcl>
+* <https://libre-soc.org/task_db/>
 
-# Status tracking
-
-move things along from one stage to the next
-
-## Priority tasks to keep an eye on
+# 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
 
+# Status tracking
+
+move things along from one stage to the next
+
 ## Currently working on
 
  - Project Management