From f8eed6635e5b51fb45049df1f03d4147bc101f32 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Sun, 6 Sep 2020 20:16:17 +0100
Subject: [PATCH]

---
 Samuel_A_Falvo_II.mdwn | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/Samuel_A_Falvo_II.mdwn b/Samuel_A_Falvo_II.mdwn
index b8e095ebb..ed0275beb 100644
--- a/Samuel_A_Falvo_II.mdwn
+++ b/Samuel_A_Falvo_II.mdwn
@@ -12,13 +12,18 @@ Move things along from one stage to the next.
 
 ## Currently working on
 
- - <https://bugs.libre-soc.org/show_bug.cgi?id=340> formal proof of POWER9 SHIFTROT pipeline 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=421> TRAP pipeline formal correctness proof needed
- - <https://bugs.libre-soc.org/show_bug.cgi?id=419> MUL pipeline formal 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
 
-- 
2.30.2