From 177eb4038eb9d9509220416da8cd7432d5df966a Mon Sep 17 00:00:00 2001 From: lkcl Date: Wed, 29 Apr 2020 10:03:07 +0100 Subject: [PATCH 1/1] --- mnolan.mdwn | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/mnolan.mdwn b/mnolan.mdwn index 9be9f7d6c..d61040e8a 100644 --- a/mnolan.mdwn +++ b/mnolan.mdwn @@ -18,7 +18,9 @@ Bored college student and contributor to Libre-SOC ## Completed not yet submitted -### 2019-02-012 +## Submitted for RFP, waiting for payment + +### 2019-02-012 28-apr-2020 - parent #48 - Add partitioned right shift to partitioned shifter @@ -35,14 +37,14 @@ Bored college student and contributor to Libre-SOC - Shared 50% with [[lkcl]] - EUR 350 (each) -### 2019-10P-046 NLNet 2019 Formal Standards OpenPOWER +### 2019-10P-046 28-apr-2020 NLNet 2019 Formal Standards OpenPOWER - parent #241 - auto-parser of POWER9 - Shared 50% with [[lkcl]] - EUR 500 (each) -### 2019-10P-032 NLNet 2019 Formal Correctness Proofs +### 2019-10P-032 28-apr-2020 NLNet 2019 Formal Correctness Proofs - parent #196 - Verify FSGNJ @@ -54,8 +56,6 @@ Bored college student and contributor to Libre-SOC - Verify FP comparison operators - EUR 150 -## Submitted for RFP, waiting for payment - ## Paid -- 2.30.2