Forgot to remove section, already in next day's notes

diff --git a/meetings/sync_up/sync_up_2023-11-14.mdwn b/meetings/sync_up/sync_up_2023-11-14.mdwn
index 355b996f390e29cc8429cd1e0dc8cbc75e6d307f..8a1fbc23e8e7817c04c9921135a879c4bea1f368 100644 (file)
--- a/meetings/sync_up/sync_up_2023-11-14.mdwn
+++ b/meetings/sync_up/sync_up_2023-11-14.mdwn
@@ -36,31 +36,5 @@ response on the rest.
 I should have waited for Luke's comments on the task list. This is noted
 for future bugs.)*
 
-# Wednesday 15th November
-
-## Cesar
-
-- Working through the formal correctness proof for the ld/st unit.
-  - Says will be similar to compunit.
-  - Need to fetch operands, store results.
-- There are 2 compunits in two files:
-  - ALU Compunit does everything but ld/st.
-  - LD/ST Compunit is for mem-reg/reg-mem.
-(Only the ld/st proof is covered by current grant, see
-[bug #1036](https://bugs.libre-soc.org/show_bug.cgi?id=1036)) 
-
-On future grant:
-
-- Make sure future grants include budget for formal verification.
-
-When doing HDL design:
-
-- Ideally should be able to switch between *design, verification, simulation.*
-
-On Fosdem:
-
-- What to do about talk submissions which use the unauthorised for of nMigen?...
-
-
 [[!tag meeting2023]]
 [[!tag meeting_sync_up]]