Skip to content

Replace process_stubs.c with pure OCaml implementation for OCaml 5 multi-domain safety#12757

Merged
Simn merged 17 commits intowhy-is-parallelism-disabledfrom
copilot/sub-pr-12747-again
Mar 7, 2026
Merged

Replace process_stubs.c with pure OCaml implementation for OCaml 5 multi-domain safety#12757
Simn merged 17 commits intowhy-is-parallelism-disabledfrom
copilot/sub-pr-12747-again

Commits

Commits on Mar 6, 2026