Prepare for release 0.8.0

CHANGES.md

@@ -1,12 +1,12 @@
-# Unreleased
+# 0.8.0
 
 - Remove pin and update constraints on gospel package
   [\#375](https://github.com/ocaml-gospel/ortac/pull/375)
 - [QCheck-STM] Reintegrate full testing of sut-returning function in domain mode
   [\#373](https://github.com/ocaml-gospel/ortac/pull/373)
 - [QCheck-STM] User can now provides `gen_cmd*`s rather than `arb_cmd*`s
   [\#372](https://github.com/ocaml-gospel/ortac/pull/372)
-- [QCheck-STM] Fix last error name wich mentioned frequency
+- [QCheck-STM] Fix last error name which mentioned frequency
   [\#371](https://github.com/ocaml-gospel/ortac/pull/371)
 - [QCheck-STM] Update to QCheck 0.90 great renaming
   [\#370](https://github.com/ocaml-gospel/ortac/pull/370)

LICENSE

@@ -1,7 +1,7 @@
 The MIT License
 
 Copyright (c) 2020-2023 Clément Pascutto <clement@pascutto.fr>
-Copyright (c) 2021-2025 Nicolas Osborne <nicolas.osborne@tarides.com>
+Copyright (c) 2021-2026 Nicolas Osborne <nicolas.osborne@tarides.com>
 Copyright (c) 2022 Naomi Spargo <nspargo@andrew.cmu.edu>
 Copyright (c) 2023-2024 Samuel Hym <samuel@tarides.com>
 Copyright (c) 2024 Nikolaus Huber <mail@n-huber.eu>

dune-project

@@ -3,7 +3,7 @@
 (using dune_site 0.1)
 (using mdx 0.4)
 
-(version 0.7.2)
+(version 0.8.0)
 
 (name ortac)
 (license MIT)

ortac-core.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7.2"
+version: "0.8.0"
 synopsis:
   "Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel"
 description: """

ortac-dune.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7.2"
+version: "0.8.0"
 synopsis: "Generate dune rules for other ortac plugins"
 description: "Generate dune rules for other ortac plugins"
 maintainer: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]

ortac-examples.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7.2"
+version: "0.8.0"
 synopsis: "Ortac examples on different libraries"
 maintainer: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
 authors: [

ortac-monolith.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7.2"
+version: "0.8.0"
 synopsis: "Monolith plugin for Ortac"
 description: """
 The Monolith plugin for the Ortac command-line tool (provided by

ortac-qcheck-stm.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7.2"
+version: "0.8.0"
 synopsis: "QCheck-STM plugin for Ortac"
 description: """
 The QCheck-STM plugin for the Ortac command-line tool (provided by

ortac-runtime-monolith.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7.2"
+version: "0.8.0"
 synopsis: "Runtime support library for Ortac/Monolith-generated code"
 description: """
 The ortac-runtime-monolith library provides support for the code

ortac-runtime-qcheck-stm.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7.2"
+version: "0.8.0"
 synopsis: "Runtime support library for Ortac/QCheck-STM-generated code"
 description: """
 The ortac-runtime-qcheck-stm library provides support for the code

ortac-runtime.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7.2"
+version: "0.8.0"
 synopsis: "Runtime support library for Ortac-generated code"
 description: """
 The ortac-runtime library provides support for the code generated

ortac-wrapper.opam

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.7.2"
+version: "0.8.0"
 synopsis: "Wrapper plugin for Ortac"
 description: """
 The Wrapper plugin for the Ortac command-line tool (provided by the