Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Debugging session?


view this post on Zulip Gaëtan Gilbert (Feb 01 2022 at 09:37):

I could show how I use ocamldebug on Coq in screenshare if there's interest.

view this post on Zulip 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)

view this post on Zulip Gaëtan Gilbert (Feb 01 2022 at 09:41):

debugging + making the bugfix?

view this post on Zulip 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.

view this post on Zulip Paolo Giarrusso (Feb 16 2022 at 11:37):

an interested colleague asks if this is going to be recorded, since they'll be out

view this post on Zulip Ali Caglayan (Feb 16 2022 at 11:52):

This will be recorded since it is a core session.


Last updated: Jan 29 2023 at 16:02 UTC