From 9621d6d3d443131adeba126c0fba400ea3a21939 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 21 Jan 2025 11:20:00 +0100 Subject: [PATCH] Prepare for 0.7 release --- CHANGES.md | 2 +- dune-project | 2 +- multicoretests.opam | 2 +- qcheck-lin.opam | 2 +- qcheck-multicoretests-util.opam | 2 +- qcheck-stm.opam | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 3b1d9faf2..d14bd9e3f 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,6 @@ # Changes -## NEXT RELEASE +## 0.7 - #509: Change/Fix to use a symmetric barrier to synchronize domains - #511: Introduce extended specs to allow wrapping command sequences diff --git a/dune-project b/dune-project index a6788731a..f6d0941ed 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.6") +(version "0.7") (package (name multicoretests) diff --git a/multicoretests.opam b/multicoretests.opam index 9f4839d39..654f437fe 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.6" +version: "0.7" 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 979252cc3..b9a75eb6c 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.6" +version: "0.7" 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 4bf46cf70..4a0c9ed21 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.6" +version: "0.7" synopsis: "Various utility functions for property-based testing of multicore programs" description: """ diff --git a/qcheck-stm.opam b/qcheck-stm.opam index 48234a7bd..6c9070b27 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.6" +version: "0.7" synopsis: "State-machine testing library for sequential and parallel model-based tests" description: """