From db4f7490924a8a20a3f45c358ff0eca1685f3957 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Sun, 11 Oct 2026 16:42:58 +0200 Subject: [PATCH 1/3] Adjust existing 5.x workflows to target bugfix releases --- .github/workflows/opam.yml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml index d6b99858..c4231911 100644 --- a/.github/workflows/opam.yml +++ b/.github/workflows/opam.yml @@ -23,11 +23,11 @@ jobs: - 4.12.x - 4.13.x - 4.14.x - - 5.0.0 - - 5.1.0 - - 5.2.0 - - 5.3.0 - - 5.4.0 + - 5.0.x + - 5.1.x + - 5.2.x + - 5.3.x + - 5.4.x - ocaml-variants.5.5.0+trunk runs-on: ubuntu-latest From a312e21c560960b4c7f357fb5d6ece8e71220f48 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Sun, 11 Oct 2026 16:44:21 +0200 Subject: [PATCH 2/3] Target released 5.5.x, 5.6.0+trunk, and 5.7.0+trunk --- .github/workflows/opam.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml index c4231911..06585a2f 100644 --- a/.github/workflows/opam.yml +++ b/.github/workflows/opam.yml @@ -28,7 +28,9 @@ jobs: - 5.2.x - 5.3.x - 5.4.x - - ocaml-variants.5.5.0+trunk + - 5.5.x + - ocaml-variants.5.6.0+trunk + - ocaml-variants.5.7.0+trunk runs-on: ubuntu-latest From ec21c866a2aedd6b84611fe51410dd7f72ea5b14 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Sun, 11 Oct 2026 21:55:15 +0200 Subject: [PATCH 3/3] Add link to Olivier-fest'25 paper --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 91cf49e6..8d2251f3 100644 --- a/README.md +++ b/README.md @@ -60,12 +60,13 @@ This project contains All of the above build on [QCheck](https://github.com/c-cube/qcheck), a black-box, property-based testing library in the style of QuickCheck. -The two libraries are further described below, in three blog posts, and in a -2022 OCaml Workshop paper: +The two libraries are further described below, in three blog posts, and in two +academic papers: - [Under the Hood: Developing Multicore Property-Based Tests for OCaml 5](https://tarides.com/blog/2024-04-24-under-the-hood-developing-multicore-property-based-tests-for-ocaml-5/) - [Multicore Property-Based Tests for OCaml 5: Challenges and Lessons Learned](https://tarides.com/blog/2024-12-23-multicore-property-based-tests-for-ocaml-5-challenges-and-lessons-learned/) - [OCaml 5 Multicore Testing Tools](https://tarides.com/blog/2022-12-22-ocaml-5-multicore-testing-tools) - [Multicoretests - Parallel Testing Libraries for OCaml 5.0](doc/paper.pdf) +- [Property-Based Testing of OCaml 5's Runtime System: Fun and Segfaults with Interpreters and State Transition Functions](https://janmidtgaard.dk/papers/Midtgaard%3aOLIVIERFEST25.pdf) Installation instructions, and running the tests