X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=Samuel_A_Falvo_II.mdwn;h=ed0275bebb480763d07bb221bd14c2a9a2f04990;hb=f9955c83376703d3157a9248c85bca89dc63b95a;hp=97a104f79be64a869735b399ba4c6fc8b2158f31;hpb=540346a45060f976282f0a6c7b93ef4c3dd866b2;p=libreriscv.git

diff --git a/Samuel_A_Falvo_II.mdwn b/Samuel_A_Falvo_II.mdwn
index 97a104f79..ed0275beb 100644
--- a/Samuel_A_Falvo_II.mdwn
+++ b/Samuel_A_Falvo_II.mdwn
@@ -2,21 +2,30 @@
 
 Individual Contributor.
 
+## Handy Things to Know
+
+- [Notes on Formal Proofs.](/Documentation/notes_on_formal_proofs)
+
 # Status tracking
 
 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=340>
+  - formal proof of POWER9 SHIFTROT pipeline 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
+  - EUR 350 (shared with [[lkcl]]
+* <https://bugs.libre-soc.org/show_bug.cgi?id=421>
+  - TRAP pipeline formal correctness proof needed
+* <https://bugs.libre-soc.org/show_bug.cgi?id=419>
+  - MUL pipeline formal proof needed
 
-## Paid
+## Submitted (but not confirmed paid) for NLNet RFP
 
-Donation from NLNet confirmed received:
+## Confirmed NLNet Paid