Skip to content

Migrate from CIL's Pretty to OCaml's Format (initial pass)#1994

Draft
Copilot wants to merge 3 commits intomasterfrom
copilot/migrate-pretty-to-format
Draft

Migrate from CIL's Pretty to OCaml's Format (initial pass)#1994
Copilot wants to merge 3 commits intomasterfrom
copilot/migrate-pretty-to-format

Commits

Commits on Apr 12, 2026