Support using landmarks with OCaml 5 domains#46

Open

hra687261 wants to merge 17 commits intoLexiFi:masterfrom

hra687261:ocaml5

Commits on Dec 8, 2025

Upgrade to ppxlib 0.36

NathanReb
authored and
hra687261
committed
Move common type declarations to `utils.ml`
hra687261
committed
Move profiling options to utils.ml
hra687261
committed

Commits on Dec 9, 2025

Move global references to in landmark.ml to landmark_state.ml
hra687261
committed

Commits on Dec 16, 2025

rename landmark_state to landmark_state_ocaml4,
hra687261
committed
Add landmark_state_ocaml5, a landmark_state compatible with parallelism in ocaml5
hra687261
committed
Choose which landmark_state to use depending on the ocaml version
hra687261
committed

Commits on Dec 22, 2025

Commits on Jan 5, 2026

Ensure that `landmark_root`, `dummy_node` and `dummy_key` are domain specific in the parallel case
hra687261
committed

Commits on Jan 12, 2026

Commits on Jan 14, 2026

Commits on Jan 23, 2026