meetings/sync_up/sync_up_2024-02-13.mdwn

   1 # Tuesday 13th February 17:00 UTC
   2
   3 * Previous notes: [[meetings/sync_up/sync_up_2024-02-06]]
   4 * Next week's notes: [[meetings/sync_up/sync_up_2024-02-20]]
   5
   6 # Main Agenda
   7
   8 * reminder of **only 2 weeks** until march 1st deadline
   9   for completion of cavatools and cryptoprimitives.
  10 * payments for FOSDEM
  11
  12 EUR 4500 for everyone who did talks and helped.
  13   [bug #1070](https://bugs.libre-soc.org/show_bug.cgi?id=1070)
  14
  15 Meeting notes:
  16
  17 * FORTRAN MAXLOC
  18   basically now done.
  19   [bug #676](https://bugs.libre-soc.org/show_bug.cgi?id=676)
  20 * FOSDEM2024 talk on DDFFirst
  21   [bug #1244](https://bugs.libre-soc.org/show_bug.cgi?id=1244)
  22 * Outstanding Cavatools tasks:
  23   - [bug #980](https://bugs.libre-soc.org/show_bug.cgi?id=980)
  24 * Outstanding Cryptorouter tasks:
  25   - Poly1305, [bug #1157](https://bugs.libre-soc.org/show_bug.cgi?id=1157)
  26   [bug #1158](https://bugs.libre-soc.org/show_bug.cgi?id=1158),
  27   [bug #1159](https://bugs.libre-soc.org/show_bug.cgi?id=1159)
  28   - Ed25519,
  29   [bug #1151](https://bugs.libre-soc.org/show_bug.cgi?id=1151),
  30   [bug #1166](https://bugs.libre-soc.org/show_bug.cgi?id=1166),
  31   [bug #1167](https://bugs.libre-soc.org/show_bug.cgi?id=1167)
  32 * sadoon has fosdem slides partly done?
  33
  34 # Cesar
  35
  36 * [bug #1220](https://bugs.libre-soc.org/show_bug.cgi?id=1220):
  37 Updated [wiki](https://git.libre-soc.org/?p=libreriscv.git;a=commit;h=1f429eeba125e65ba4649045196d043a4acac31d)
  38 and [ftp](https://ftp.libre-soc.org/fosdem_2024/fosdem2024_formal.pdf)
  39 with final version of presentation.
  40
  41 * Reviewed my [FOSDEM video](https://fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/)
  42
  43 * The Cologne chip and Gnucap talks are cut at the end, need to report that.
  44 I guess they advanced a little into the 5 min interval.
  45
  46 # Jacob
  47
  48 # Rita (Aarhuis)
  49
  50 talk / report on Libre-SOC?
  51
  52 # Luke
  53
  54 * FORTRAN MAXLOC
  55   basically now done. ironically removed crternlogi.
  56   [bug #676](https://bugs.libre-soc.org/show_bug.cgi?id=676)
  57 * FOSDEM2024 talk on DDFFirst
  58   [bug #1244](https://bugs.libre-soc.org/show_bug.cgi?id=1244)
  59   Video <https://youtu.be/fxClvuc2-f8>
  60
  61 planning to do RFCs and submissions, bigmul REMAP SHAPE pseudocode
  62
  63 # Tobias
  64
  65 reviewed and uploaded video. getting tobias onto MoU for 2022-08-051
  66 <https://lists.libre-soc.org/pipermail/libre-soc-dev/2024-February/006041.html>
  67
  68 # Dmitry
  69
  70
  71 [[!tag meeting2024]]
  72 [[!tag meeting_sync_up]]
  73