X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=Samuel_A_Falvo_II.mdwn;h=ed0275bebb480763d07bb221bd14c2a9a2f04990;hb=d1c4c5d08320411b1c613e3160d4bcb4906d6224;hp=e1711806fe58c75d3a2ed0ca03ecb2d95c371727;hpb=8b0b34505ae30f766e163e90a4e3eec943ee0a39;p=libreriscv.git

diff --git a/Samuel_A_Falvo_II.mdwn b/Samuel_A_Falvo_II.mdwn
index e1711806f..ed0275beb 100644
--- a/Samuel_A_Falvo_II.mdwn
+++ b/Samuel_A_Falvo_II.mdwn
@@ -12,11 +12,18 @@ Move things along from one stage to the next.
 
 ## Currently working on
 
- - <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=340>
+  - formal proof of POWER9 SHIFTROT pipeline needed
 
 ## Completed but not yet submitted:
 
- - <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=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
 
 ## Submitted (but not confirmed paid) for NLNet RFP