Merge pull request #263 from n-osborne/prepare-0.4.0-release

Prepare release of version 0.4.0
ocaml-gospel · Oct 8, 2024 · 23373dc · 23373dc
2 parents b407ccf + 9893741
commit 23373dc
Show file tree

Hide file tree

Showing 11 changed files with 24 additions and 19 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,18 +1,18 @@
-# Unreleased
+# 0.4.0
 
+- Add support for running tests in separate processes with a timeout
+  [\#259](https://github.com/ocaml-gospel/ortac/pull/259)
 - Add `Reserr.{traverse,traverse_,promote_mapi}`, rename `Reserr.map` to
   `Reserr.promote_map` and remove `Reserr.concat_map`
   [\#250](https://github.com/ocaml-gospel/ortac/pull/250)
 - Fix display of the runnable scenario for protected values
   [\#251](https://github.com/ocaml-gospel/ortac/pull/251)
-- Fix sut as type argument or inside tuple bug
-  [\#245](https://github.com/ocaml-gospel/ortac/pull/245)
-- Add support for multiple sut arguments
-  [\#247](https://github.com/ocaml-gospel/ortac/pull/247)
 - Add support for returning sut values
   [\#253](https://github.com/ocaml-gospel/ortac/pull/253)
-- Add support for running tests in separate processes with a timeout
-  [\#259](https://github.com/ocaml-gospel/ortac/pull/259)
+- Add support for multiple sut arguments
+  [\#247](https://github.com/ocaml-gospel/ortac/pull/247)
+- Fix sut as type argument or inside tuple bug
+  [\#245](https://github.com/ocaml-gospel/ortac/pull/245)
 
 # 0.3.0
 

diff --git a/dune-project b/dune-project
@@ -3,7 +3,7 @@
 (using dune_site 0.1)
 (using mdx 0.4)
 
-(version 0.3.0)
+(version 0.4.0)
 
 (name ortac)
 (license MIT)
@@ -188,7 +188,9 @@
   "\> Ortac (OCaml Runtime Assertion Checking) is a tool to turn
   "\> executable Gospel specifications into code to test they hold.
   )
- (authors "Nicolas Osborne <nicolas.osborne@tarides.com>")
+ (authors
+  "Nicolas Osborne <nicolas.osborne@tarides.com>"
+  "Nikolaus Huber <mail@n-huber.eu>")
  (depends
   (ocaml (>= 4.12.0))
   (qcheck-stm (>= 0.4))

diff --git a/ortac-core.opam b/ortac-core.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.0"
+version: "0.4.0"
 synopsis:
   "Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel"
 description: """

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

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

diff --git a/ortac-monolith.opam b/ortac-monolith.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.0"
+version: "0.4.0"
 synopsis: "Monolith plugin for Ortac"
 description: """
 The Monolith plugin for the Ortac command-line tool (provided by

diff --git a/ortac-qcheck-stm.opam b/ortac-qcheck-stm.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.0"
+version: "0.4.0"
 synopsis: "QCheck-STM plugin for Ortac"
 description: """
 The QCheck-STM plugin for the Ortac command-line tool (provided by

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

diff --git a/ortac-runtime-qcheck-stm.opam b/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.3.0"
+version: "0.4.0"
 synopsis: "Runtime support library for Ortac/QCheck-STM-generated code"
 description: """
 The ortac-runtime-qcheck-stm library provides support for the code
@@ -11,7 +11,10 @@ Ortac (OCaml Runtime Assertion Checking) is a tool to turn
 executable Gospel specifications into code to test they hold.
 """
 maintainer: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
-authors: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
+authors: [
+  "Nicolas Osborne <nicolas.osborne@tarides.com>"
+  "Nikolaus Huber <mail@n-huber.eu>"
+]
 license: "MIT"
 homepage: "https://github.com/ocaml-gospel/ortac"
 bug-reports: "https://github.com/ocaml-gospel/ortac/issues"

diff --git a/ortac-runtime.opam b/ortac-runtime.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.0"
+version: "0.4.0"
 synopsis: "Runtime support library for Ortac-generated code"
 description: """
 The ortac-runtime library provides support for the code generated

diff --git a/ortac-wrapper.opam b/ortac-wrapper.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.0"
+version: "0.4.0"
 synopsis: "Wrapper plugin for Ortac"
 description: """
 The Wrapper plugin for the Ortac command-line tool (provided by the