From 8b0b34505ae30f766e163e90a4e3eec943ee0a39 Mon Sep 17 00:00:00 2001 From: "Samuel A. Falvo II" Date: Fri, 17 Jul 2020 16:00:34 -0700 Subject: [PATCH] Status update --- Samuel_A_Falvo_II.mdwn | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/Samuel_A_Falvo_II.mdwn b/Samuel_A_Falvo_II.mdwn index 869c66b97..e1711806f 100644 --- a/Samuel_A_Falvo_II.mdwn +++ b/Samuel_A_Falvo_II.mdwn @@ -12,15 +12,13 @@ Move things along from one stage to the next. ## Currently working on - - SPR pipeline formal correctness proof needed + - TRAP pipeline formal correctness proof needed ## Completed but not yet submitted: -## Submitted for NLNet RFP - -Submitted but not confirmed paid: + - SPR pipeline formal correctness proof needed -## Paid +## Submitted (but not confirmed paid) for NLNet RFP -Donation from NLNet confirmed received: +## Confirmed NLNet Paid -- 2.30.2