2 Pull requests merged by 1 person

• client, server: record basic telemetry events

  #143 merged Jan 24, 2025

• CI: single configuration for all OCaml packages

  #145 merged Jan 22, 2025

1 Pull request opened by 1 person

• CN debugger: allow debugging of CN via Gillian

  #144 opened Jan 21, 2025

1 Issue opened by 1 person

• [BUG] LSP CN verify only works the first time it is run.

  #142 opened Jan 21, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• CN debugger: allow debugging of CN via Gillian

  #128 commented on Jan 24, 2025 • 0 new comments