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