From: Cesar_Strauss Date: Thu, 5 Aug 2021 10:34:42 +0000 (+0100) Subject: Work completed (and paid) on Bug #475 X-Git-Tag: DRAFT_SVP64_0_1~486 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fe64356f82d0f5c5f9ee4be4548a897647b71a43;p=libreriscv.git Work completed (and paid) on Bug #475 --- diff --git a/Cesar_Strauss.mdwn b/Cesar_Strauss.mdwn index 940d91d2b..683c27adb 100644 --- a/Cesar_Strauss.mdwn +++ b/Cesar_Strauss.mdwn @@ -50,11 +50,6 @@ unit tests. Priority: Medium-ish -10. Find root cause of cxxsim hang - - Status: ongoing - Priority: High - 11. Formal Proof for CompUnit