From 2de783a6c4e956b8dc27c2bf15b2050735b397a0 Mon Sep 17 00:00:00 2001 From: lkcl Date: Mon, 4 Jul 2022 12:54:39 +0100 Subject: [PATCH] --- lkcl.mdwn | 6 ++++++ 1 file changed, 6 insertions(+) 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 -- 2.30.2