From: lkcl <lkcl@web>
Date: Sat, 23 Jul 2022 12:13:59 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~1090
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=73ccc4ef97f1395da18189f4ad5b4fa85c60bcb7;p=libreriscv.git

---

diff --git a/lkcl.mdwn b/lkcl.mdwn
index a52bafe55..b78d299e7 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -9,6 +9,8 @@ Lead dev and Project Coordinator for Libre-SOC.
 
 # Priority tasks to keep an eye on
 
+* <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=236> Atomics, Jacob
   EUR 2500
 * <https://bugs.libre-soc.org/show_bug.cgi?id=728> ISACaller, Dmitry
@@ -17,12 +19,8 @@ Lead dev and Project Coordinator for Libre-SOC.
   EUR 700
 * <https://bugs.libre-soc.org/show_bug.cgi?id=758> pypowersim, Andrey
   EUR 800
-* <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
-* <https://bugs.libre-soc.org/show_bug.cgi?id=232> Video Simulator
-  EUR 5000
 * <https://bugs.libre-soc.org/show_bug.cgi?id=234> Video ops
   EUR 2500
 * <https://bugs.libre-soc.org/show_bug.cgi?id=255> 3D opcodes