Gaëtan Gilbert (Feb 01 2022 at 09:37): Gaëtan Gilbert (Feb 01 2022 at 09:37):I could show how I use ocamldebug on Coq in screenshare if there's interest.
Karl Palmskog (Feb 01 2022 at 09:38):I think some of us are interested in seeing details on how Coq devs work with the Coq codebase, not just debugging (although that is an important part)
Gaëtan Gilbert (Feb 01 2022 at 09:41):debugging + making the bugfix?
Ali Caglayan (Feb 14 2022 at 21:20):FTR Gaëtan will be giving his debugging + bugfix demonstration on Wednesday 15:00 CET/Paris time.
Paolo Giarrusso (Feb 16 2022 at 11:37):an interested colleague asks if this is going to be recorded, since they'll be out
Ali Caglayan (Feb 16 2022 at 11:52):This will be recorded since it is a core session.
Last updated: Apr 19 2024 at 05:01 UTC