(no commit message)

[libreriscv.git] / Samuel_A_Falvo_II.mdwn

diff --git a/Samuel_A_Falvo_II.mdwn b/Samuel_A_Falvo_II.mdwn
index 409086795e3378c47b15f59cff9e546a82769367..b8e095ebbcebf0bb462eeed9c4328333b24cc3c2 100644 (file)
--- a/Samuel_A_Falvo_II.mdwn
+++ b/Samuel_A_Falvo_II.mdwn
@@ -4,7 +4,7 @@ Individual Contributor.
 
 ## Handy Things to Know
 
-- [Notes on Formal Proofs.](Documentation/notes_on_formal_proofs.mdwn)
+- [Notes on Formal Proofs.](/Documentation/notes_on_formal_proofs)
 
 # Status tracking
 
@@ -12,15 +12,15 @@ 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
+ - <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