projects
/
libreriscv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
fad225b
)
(no commit message)
author
lkcl
<lkcl@web>
Sat, 23 Jul 2022 12:13:59 +0000
(13:13 +0100)
committer
IkiWiki
<ikiwiki.info>
Sat, 23 Jul 2022 12:13:59 +0000
(13:13 +0100)
lkcl.mdwn
patch
|
blob
|
history
diff --git
a/lkcl.mdwn
b/lkcl.mdwn
index a52bafe55c5b4da9cdd8daef5f99e8ec8a18a5a9..b78d299e7b021041fef5b7e0ecb5d085f00034d0 100644
(file)
--- 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
# 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
* <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
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=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
* <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