From: lkcl Date: Mon, 4 Jul 2022 11:54:39 +0000 (+0100) Subject: (no commit message) X-Git-Tag: opf_rfc_ls005_v1~1353 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2de783a6c4e956b8dc27c2bf15b2050735b397a0;p=libreriscv.git --- diff --git a/lkcl.mdwn b/lkcl.mdwn index 058ded9fb..d03cfef45 100644 --- a/lkcl.mdwn +++ b/lkcl.mdwn @@ -13,6 +13,12 @@ Lead dev and Project Coordinator for Libre-SOC. EUR 2500 * Power ISA Formal Proof EUR 6550 +* ISACaller, Dmitry + EUR 1000 +* Pack/Unpack + EUR 700 +* pypowersim, Andrey + EUR 800 * nmutil/etc Formal Proofs EUR 8650 * 6600 proof