From de1a8dedddb7884aacd5f07ef83eb341e1aa8945 Mon Sep 17 00:00:00 2001 From: lkcl Date: Wed, 2 Dec 2020 14:56:23 +0000 Subject: [PATCH] --- Cesar_Strauss.mdwn | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Cesar_Strauss.mdwn b/Cesar_Strauss.mdwn index 14c19349c..6a6279401 100644 --- a/Cesar_Strauss.mdwn +++ b/Cesar_Strauss.mdwn @@ -55,6 +55,10 @@ unit tests. Status: ongoing Priority: High +11. Formal Proof for CompUnit + + + ## Completed but not yet submitted: 1. FSM-based ALU example needed (compliant with ALU CompUnit) -- 2.30.2