From fe64356f82d0f5c5f9ee4be4548a897647b71a43 Mon Sep 17 00:00:00 2001 From: Cesar_Strauss Date: Thu, 5 Aug 2021 11:34:42 +0100 Subject: [PATCH] Work completed (and paid) on Bug #475 --- Cesar_Strauss.mdwn | 5 ----- 1 file changed, 5 deletions(-) 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 -- 2.30.2