Prepare for 0.8 release

Author: jmid

CHANGES.md

@@ -1,6 +1,6 @@
 # Changes
 
-## NEXT RELEASE
+## 0.8
 
 - #540: Significantly increase the probability of context switching in `Lin_thread`
         and `STM_thread` by utilizing `Gc.Memprof` callbacks. Avoid on 5.0-5.2

dune-project

@@ -6,7 +6,7 @@
 (authors "Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym")
 (maintainers "Jan Midtgaard <[email protected]>")
 (license BSD-2-clause)
-(version "0.7")
+(version "0.8")
 
 (package
  (name multicoretests)

multicoretests.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7"
+version: "0.8"
 synopsis: "Experimental multicore test suite of OCaml 5.0"
 description: """
 This package contains a collection of randomized QCheck tests to exercise

qcheck-lin.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7"
+version: "0.8"
 synopsis: "A multicore testing library for OCaml"
 description: """
 A testing library based on QCheck to test interface behaviour under parallel

qcheck-multicoretests-util.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7"
+version: "0.8"
 synopsis:
   "Various utility functions for property-based testing of multicore programs"
 description: """

qcheck-stm.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7"
+version: "0.8"
 synopsis:
   "State-machine testing library for sequential and parallel model-based tests"
 description: """