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 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.
  49
  50 # Rita (Aarhuis)
  51
  52 talk / report on Libre-SOC?
  53
  54 # Luke
  55
  56 * FORTRAN MAXLOC
  57   basically now done. ironically removed crternlogi.
  58   [bug #676](https://bugs.libre-soc.org/show_bug.cgi?id=676)
  59 * FOSDEM2024 talk on DDFFirst
  60   [bug #1244](https://bugs.libre-soc.org/show_bug.cgi?id=1244)
  61   Video <https://youtu.be/fxClvuc2-f8>
  62
  63 planning to do RFCs and submissions, bigmul REMAP SHAPE pseudocode
  64
  65 # Tobias
  66
  67 reviewed and uploaded video. getting tobias onto MoU for 2022-08-051
  68 <https://lists.libre-soc.org/pipermail/libre-soc-dev/2024-February/006041.html>
  69
  70 # Dmitry
  71
  72
  73 [[!tag meeting2024]]
  74 [[!tag meeting_sync_up]]
  75