From f98f6ace16f3ad44022cdcf8cc2bcbb5f25e82ae Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Thu, 9 Jan 2025 16:52:40 +0100 Subject: [PATCH] Prepare for 0.6 release --- CHANGES.md | 7 +++++-- dune-project | 2 +- multicoretests.opam | 2 +- qcheck-lin.opam | 2 +- qcheck-multicoretests-util.opam | 2 +- qcheck-stm.opam | 2 +- 6 files changed, 10 insertions(+), 7 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 1f93736d..fc3426f2 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,8 +1,11 @@ # Changes -## NEXT RELEASE +## 0.6 -- ... +- No changes to the opam-released library packages. + Two significant additions to the test suite in the `multicoretests` opam package: + - #463: Dynarray tests + - #469: Add gc tests ## 0.5 diff --git a/dune-project b/dune-project index 7313870d..a6788731 100644 --- a/dune-project +++ b/dune-project @@ -6,7 +6,7 @@ (authors "Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym") (maintainers "Jan Midtgaard ") (license BSD-2-clause) -(version "0.5") +(version "0.6") (package (name multicoretests) diff --git a/multicoretests.opam b/multicoretests.opam index 69a72720..2c99d9f6 100644 --- a/multicoretests.opam +++ b/multicoretests.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.5" +version: "0.6" synopsis: "Experimental multicore test suite of OCaml 5.0" description: """ This package contains a collection of randomized QCheck tests to exercise diff --git a/qcheck-lin.opam b/qcheck-lin.opam index 129dc26c..9a68b32b 100644 --- a/qcheck-lin.opam +++ b/qcheck-lin.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.5" +version: "0.6" synopsis: "A multicore testing library for OCaml" description: """ A testing library based on QCheck to test interface behaviour under parallel diff --git a/qcheck-multicoretests-util.opam b/qcheck-multicoretests-util.opam index caadd18a..42a8f56d 100644 --- a/qcheck-multicoretests-util.opam +++ b/qcheck-multicoretests-util.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.5" +version: "0.6" synopsis: "Various utility functions for property-based testing of multicore programs" description: """ diff --git a/qcheck-stm.opam b/qcheck-stm.opam index 1b16853c..703b3aad 100644 --- a/qcheck-stm.opam +++ b/qcheck-stm.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.5" +version: "0.6" synopsis: "State-machine testing library for sequential and parallel model-based tests" description: """