# Tuesday 13th February 17:00 UTC

* Previous notes: [[meetings/sync_up/sync_up_2024-02-06]]
* Next week's notes: [[meetings/sync_up/sync_up_2024-02-20]]

# Main Agenda

* reminder of **only 2 weeks** until march 1st deadline
  for completion of cavatools and cryptoprimitives.
* payments for FOSDEM

EUR 4500 for everyone who did talks and helped.
  [bug #1070](https://bugs.libre-soc.org/show_bug.cgi?id=1070)

Meeting notes:

* FORTRAN MAXLOC
  basically now done.
  [bug #676](https://bugs.libre-soc.org/show_bug.cgi?id=676)
* FOSDEM2024 talk on DDFFirst
  [bug #1244](https://bugs.libre-soc.org/show_bug.cgi?id=1244)
* Outstanding Cavatools tasks:
  - [bug #980](https://bugs.libre-soc.org/show_bug.cgi?id=980)
* Outstanding Cryptorouter tasks:
  - Poly1305, [bug #1157](https://bugs.libre-soc.org/show_bug.cgi?id=1157)
  [bug #1158](https://bugs.libre-soc.org/show_bug.cgi?id=1158),
  [bug #1159](https://bugs.libre-soc.org/show_bug.cgi?id=1159)
  - Ed25519,
  [bug #1151](https://bugs.libre-soc.org/show_bug.cgi?id=1151),
  [bug #1166](https://bugs.libre-soc.org/show_bug.cgi?id=1166),
  [bug #1167](https://bugs.libre-soc.org/show_bug.cgi?id=1167)
* sadoon has fosdem slides partly done?

# Cesar

* [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

thinking of declaring current state of bigint fosdem 2024 presentation good enough for now, will get back to working on bigmul remap since we're close to the deadline.

# Rita (Aarhuis)

talk / report on Libre-SOC? write about Libre-SOC participation
in FOSDEM2024. <https://lists.libre-soc.org/pipermail/libre-soc-dev/2024-February/006048.html>

# Luke

* FORTRAN MAXLOC
  basically now done. ironically removed crternlogi.
  [bug #676](https://bugs.libre-soc.org/show_bug.cgi?id=676)
* FOSDEM2024 talk on DDFFirst
  [bug #1244](https://bugs.libre-soc.org/show_bug.cgi?id=1244)
  Video <https://youtu.be/fxClvuc2-f8>

done three RFCs ls004 ls006 ls011 and submissions, bigmul REMAP SHAPE pseudocode

# Tobias

reviewed and uploaded video. getting tobias onto MoU for 2022-08-051
<https://lists.libre-soc.org/pipermail/libre-soc-dev/2024-February/006041.html>


[[!tag meeting2024]]
[[!tag meeting_sync_up]]