Code

Update schema & tests, combine scripts#3

Code

Open

NatKarmios wants to merge 4 commits intohackwaly:masterhackwaly/ocaml-dap:masterfrom GillianPlatform:updateGillianPlatform/ocaml-dap:updateCopy head branch name to clipboard

+2,679-2,266

Commits

Commits on Dec 23, 2024

• Update DAP schema

  NatKarmios

  committed
  c94f5a9

  Copy full SHA for c94f5a9

• Fix gen_protocol scripts

  NatKarmios

  committed
  2ec3df9

  Copy full SHA for 2ec3df9

• Fix ppx_expect tests

  NatKarmios

  committed
  5431b1b

  Copy full SHA for 5431b1b

Commits on Dec 24, 2024

• Consolidate scripts

  NatKarmios

  committed
  e68a8b9

  Copy full SHA for e68a8b9