Repository navigation

Add `STM_domain_eio` and `Lin_domain_eio` libraries to run multicore tests with Eio - #581

Open

lyrm wants to merge 10 commits into

ocaml-multicore:mainfrom

Open

Add `STM_domain_eio` and `Lin_domain_eio` libraries to run multicore tests with Eio #581
lyrm wants to merge 10 commits into
ocaml-multicore:mainfrom
lyrm:eio

Commits on Jan 6, 2026
- Create qcheck-stm.domain_eio.
  lyrm
  committed
  9af871f
- Add missing deps.
  lyrm
  committed
  6dc52b7
Commits on Feb 19, 2026
- Factorize code between STM_domain and STM_domain_eio to minimize code duplication.
  lyrm
  committed
  4be7b25
- Add Lin_domain_eio.
  lyrm
  committed
  2a861de
- Replace creating _common libraries by cp the shared files.
  lyrm
  committed
  252f6d5
- Remove eio from qcheck-lin and qcheck-stm packages
  lyrm
  committed
  4a7ca3b
Commits on Jul 10, 2026
- Add neg_tests for eio packages
  Julow
  committed
  c1333a8
- Remove multicoretests dependency on Eio packages
  Julow
  committed
  109da8f
Commits on Jul 13, 2026
- CI: Add new packages in the opam workflow
  Julow
  committed
  ffc941b
Commits on Sep 14, 2026
- Merge pull request #1 from Julow/eio
  lyrm
  authored
  93532e9