From: Samuel A. Falvo II <kc5tja@arrl.net>
Date: Sat, 29 Aug 2020 19:46:31 +0000 (-0700)
Subject: Update progress
X-Git-Tag: convert-csv-opcode-to-binary~2199
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a659d17d1c0dbcadc38315b18cc195fe6840efc9;p=libreriscv.git

Update progress
---

diff --git a/Samuel_A_Falvo_II.mdwn b/Samuel_A_Falvo_II.mdwn
index a1d14345e..b8e095ebb 100644
--- a/Samuel_A_Falvo_II.mdwn
+++ b/Samuel_A_Falvo_II.mdwn
@@ -18,6 +18,7 @@ Move things along from one stage to the next.
 
  - <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
 
 ## Submitted (but not confirmed paid) for NLNet RFP