(no commit message)

[libreriscv.git] / Cesar_Strauss.mdwn

diff --git a/Cesar_Strauss.mdwn b/Cesar_Strauss.mdwn
index fa2b1fb7c98731d1db712191dfa26ae0ac56db87..6a6279401da0f5bf1890eb9deb4204721a0717d8 100644 (file)
--- a/Cesar_Strauss.mdwn
+++ b/Cesar_Strauss.mdwn
@@ -50,19 +50,20 @@ unit tests.
        <https://bugs.libre-soc.org/show_bug.cgi?id=350>  
        Priority: Medium-ish
 
-9. FSM-based ALU example needed (compliant with ALU CompUnit)  
-       <https://bugs.libre-soc.org/show_bug.cgi?id=417>  
-       Status: DONE  
-       Investigating one last optimization opportunity.  
-       Priority: Low
-       
 10. Find root cause of cxxsim hang  
        <https://bugs.libre-soc.org/show_bug.cgi?id=475#c2>  
        Status: ongoing  
        Priority: High
 
+11. Formal Proof for CompUnit
+        <https://bugs.libre-soc.org/show_bug.cgi?id=342>
+
+
 ## Completed but not yet submitted:
 
+1. FSM-based ALU example needed (compliant with ALU CompUnit)  
+       <https://bugs.libre-soc.org/show_bug.cgi?id=417>  
+       
 ## Submitted for NLNet RFP
 
 ## Paid