(no commit message)

[libreriscv.git] / lkcl.mdwn

diff --git a/lkcl.mdwn b/lkcl.mdwn
index d03cfef455a42976fae89dda2f876e2b77a9ecc8..84d04b699eb46926ef6ed3f1b5a1a769a30fcee9 100644 (file)
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -11,8 +11,6 @@ Lead dev and Project Coordinator for Libre-SOC.
 
 * <https://bugs.libre-soc.org/show_bug.cgi?id=236> Atomics, Jacob
   EUR 2500
-* <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=728> ISACaller, Dmitry
   EUR 1000
 * <https://bugs.libre-soc.org/show_bug.cgi?id=758> Pack/Unpack
@@ -23,6 +21,12 @@ Lead dev and Project Coordinator for Libre-SOC.
    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
+  EUR 3300
 
 
 # Status tracking