X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=lkcl.mdwn;h=c7f06f0d9a6a90c55371f036aa3a181dc25a985f;hb=b4415717f8b444e7ffa5d4ffbf84f3c9889a8a26;hp=b99d11cf964580e1f963dc1b0c9244c35e7f068b;hpb=9d306410f31c636b8499e4e8bde6569d3588e715;p=libreriscv.git diff --git a/lkcl.mdwn b/lkcl.mdwn index b99d11cf9..c7f06f0d9 100644 --- a/lkcl.mdwn +++ b/lkcl.mdwn @@ -10,24 +10,8 @@ Lead dev and Project Coordinator for Libre-SOC. # Priority tasks to keep an eye on -* parallel prefix EUR 3000 -* transcendentals sim EUR 4000 -* 3D simulator EUR 7000 -* nmutil/etc Formal Proofs - EUR 8650 -* Atomics, Jacob - EUR 2500 -* ISACaller, Dmitry - EUR 1000 -* Pack/Unpack - EUR 700 * 6600 proof EUR 5000 -* Video opcodes Standard - EUR 2000 -* de-data-classify -* IntFp spec - EUR 2000 # Status tracking