From ebbdeccc9ed5849f0674d61a98340d7596b6f15f Mon Sep 17 00:00:00 2001 From: "mtnolan2640@5b3e5887a309d4a2372aaf5e76b851870f15ca92" Date: Wed, 13 May 2020 15:17:53 +0100 Subject: [PATCH] --- mnolan.mdwn | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/mnolan.mdwn b/mnolan.mdwn index ce79a50ea..3bde90a82 100644 --- a/mnolan.mdwn +++ b/mnolan.mdwn @@ -23,7 +23,7 @@ Bored college student and contributor to Libre-SOC ## Paid -### 2019-02-012 28-apr-2020 +### 2019-02-012 28-apr-2020 - Paid 08may2020 - parent #48 - Add partitioned right shift to partitioned shifter @@ -40,14 +40,14 @@ Bored college student and contributor to Libre-SOC - Shared 50% with [[lkcl]] - EUR 350 (each) -### 2019-10P-046 28-apr-2020 NLNet 2019 Formal Standards OpenPOWER +### 2019-10P-046 28-apr-2020 - Paid 08may2020 - parent #241 - auto-parser of POWER9 - Shared 50% with [[lkcl]] - EUR 500 (each) -### 2019-10P-032 28-apr-2020 NLNet 2019 Formal Correctness Proofs +### 2019-10P-032 28-apr-2020 - Paid 08may2020 - parent #196 - Verify FSGNJ -- 2.30.2