Dates

December 12--15, 2013

Location

Online on https://rendez-vous.renater.fr/mathcomp

Schedule

• [2023-12-12]:
  • 09:30--12:15
    • Recap of the situation and of the goal
      • The finmap library: https://github.com/math-comp/finmap
      • The finset library: https://github.com/math-comp/math-comp/blob/master/mathcomp/ssreflect/finset.v
    • Setting of the programming environment (first, check that https://github.com/math-comp/math-comp/pull/1138 compiles)
    • Presentation of the approach and strategy
    • Tasks attribution
  • 13:45--16:30
    • Coding (details to come)
  • 16:30--17:00: wrap-up
• [2023-12-13]:
  • 09:30--17:00: Coding (details to come)
• [2023-12-14]:
  • 09:30--17:00: Coding (details to come)
• [2023-12-15]:
  • 09:30--17:00: Coding (details to come)
    • Porting of user libraries using finset and/or finmap

Development

• PR: https://github.com/math-comp/math-comp/pull/1138
• Direct link to the graph of the MC files: https://math-comp.github.io/htmldoc_for_hb/libgraph_colored.html?pr=1138

Chat

Zulip topic: math-comp-devs/Finnmap coding sprint

Participants (please add your name below)

• Reynald Affeldt
• Cyril Cohen (everyday 9:30 - 11:45, 13:00 - 17:30 Paris time, except for Wednesday 13 14:00 - 15:00 and Thursday 9:30-11:00)
• Karl Palmskog
• Pierre Roux (Tuesday and Thursday 9:30 - 12:00, 13:30 - 17:30, Wednesday 9:30 - 12:00, 15:30 - 17:30, Friday 10:30 - 12:00, 13:30 - 15:30)
• Enrico Tassi
• Quentin Vermande
• Huỳnh Trần Khanh
• Georges Gonthier
• Takafumi Saikawa
• ...