projects / libreriscv.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 47ebcd3)
(no commit message)
authorCesar_Strauss <Cesar_Strauss@web>
Sun, 10 Jan 2021 22:39:36 +0000 (22:39 +0000)
committerIkiWiki <ikiwiki.info>
Sun, 10 Jan 2021 22:39:36 +0000 (22:39 +0000)
Cesar_Strauss.mdwn patch | blob | history

diff --git a/Cesar_Strauss.mdwn b/Cesar_Strauss.mdwn
index 6a6279401da0f5bf1890eb9deb4204721a0717d8..f700443b3a320a1450102b0260b8e25a9fdcf4c0 100644 (file)
--- a/Cesar_Strauss.mdwn
+++ b/Cesar_Strauss.mdwn
@@ -55,9 +55,12 @@ unit tests.
        Status: ongoing  
        Priority: High
 
-11. Formal Proof for CompUnit
+11. Formal Proof for CompUnit  
         <https://bugs.libre-soc.org/show_bug.cgi?id=342>
 
+12. Formal Proof for PartitionedSignal  
+        <https://bugs.libre-soc.org/show_bug.cgi?id=565>  
+        Status: in progress  
 
 ## Completed but not yet submitted:
 
http://libre-riscv.org ikiwiki