From: Samuel A. Falvo II <kc5tja@arrl.net>
Date: Fri, 17 Jul 2020 23:00:34 +0000 (-0700)
Subject: Status update
X-Git-Tag: convert-csv-opcode-to-binary~2339
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8b0b34505ae30f766e163e90a4e3eec943ee0a39;p=libreriscv.git

Status update
---

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
 
- - <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR pipeline formal correctness proof needed
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=421> TRAP pipeline formal correctness proof needed
 
 ## Completed but not yet submitted:
 
-## Submitted for NLNet RFP
-
-Submitted but not confirmed paid:
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR pipeline formal correctness proof needed
 
-## Paid
+## Submitted (but not confirmed paid) for NLNet RFP
 
-Donation from NLNet confirmed received:
+## Confirmed NLNet Paid