(no commit message)
authorlkcl <lkcl@web>
Mon, 27 Apr 2020 20:37:59 +0000 (21:37 +0100)
committerIkiWiki <ikiwiki.info>
Mon, 27 Apr 2020 20:37:59 +0000 (21:37 +0100)
mnolan.mdwn

index d329e5bafa77d87430300bdb89561780130e2bf3..0c9533eb74e0ef61512cdc6fad3776e14333c825 100644 (file)
@@ -46,7 +46,7 @@ Bored college student and contributor to Libre-SOC
     - Verify FPMAX/MIN
  - <https://bugs.libre-soc.org/show_bug.cgi?id=165> parent #196
     - Verify FP comparison operators
- - <https://bugs.libre-soc.org/show_bug.cgi?id=211> parent #195
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=211> parent #198
     - Formal proof of decoder
 
 ## Submitted for RFP, waiting for payment