From dc4362c037527d465eab0acba7721590e97f625f Mon Sep 17 00:00:00 2001 From: Cesar Strauss Date: Tue, 13 Feb 2024 13:56:41 -0300 Subject: [PATCH] Remove old news, add FOSDEM related activities. --- meetings/sync_up/sync_up_2024-02-13.mdwn | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/meetings/sync_up/sync_up_2024-02-13.mdwn b/meetings/sync_up/sync_up_2024-02-13.mdwn index a45364c82..d8f9d92c5 100644 --- a/meetings/sync_up/sync_up_2024-02-13.mdwn +++ b/meetings/sync_up/sync_up_2024-02-13.mdwn @@ -9,9 +9,6 @@ for completion of cavatools and cryptoprimitives. * payments for FOSDEM -cesar, interested faces and questions on formal talk. -thank you for taking care of devroom. instructions all there. - EUR 4500 for everyone who did talks and helped. [bug #1070](https://bugs.libre-soc.org/show_bug.cgi?id=1070) @@ -36,7 +33,16 @@ Meeting notes: # Cesar - [bug #1220](https://bugs.libre-soc.org/show_bug.cgi?id=1220) +* [bug #1220](https://bugs.libre-soc.org/show_bug.cgi?id=1220): +Updated [wiki](https://git.libre-soc.org/?p=libreriscv.git;a=commit;h=1f429eeba125e65ba4649045196d043a4acac31d) +and [ftp](https://ftp.libre-soc.org/fosdem_2024/fosdem2024_formal.pdf) +with final version of presentation. + +* Reviewed my [FOSDEM video](https://fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/) + +* The Cologne chip and Gnucap talks are cut at the end, need to report that. +I guess they advanced a little into the 5 min interval. + # Jacob # Rita (Aarhuis) -- 2.30.2