Increment version number

Alasdair · Alasdair · commit edddfd7c210a · 2025-10-13T16:49:13.000+01:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,8 +1,11 @@
 Changelog
 =========
 
-Sail 0.20.0
------------
+Sail 0.20
+---------
+
+In addition to bug-fixes and smaller improvements, the following
+changes and improvements have been made to the language:
 
 ##### Rocq Semantics
 
diff --git a/dune-project b/dune-project
@@ -4,7 +4,7 @@
 (using dune_site 0.1)
 
 (name sail)
-(version 0.19.1)
+(version 0.20)
 
 (generate_opam_files true)
 
diff --git a/libsail.opam b/libsail.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.1"
+version: "0.20"
 synopsis:
   "Sail is a language for describing the instruction semantics of processors"
 description: """
diff --git a/sail.opam b/sail.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.1"
+version: "0.20"
 synopsis:
   "Sail is a language for describing the instruction semantics of processors"
 description: """
diff --git a/sail_c_backend.opam b/sail_c_backend.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.1"
+version: "0.20"
 synopsis: "Sail to C translation"
 maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
 authors: [
diff --git a/sail_coq_backend.opam b/sail_coq_backend.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.1"
+version: "0.20"
 synopsis: "Sail to Coq translation"
 maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
 authors: [
diff --git a/sail_doc_backend.opam b/sail_doc_backend.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.1"
+version: "0.20"
 synopsis: "Sail documentation generator"
 maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
 authors: [
diff --git a/sail_latex_backend.opam b/sail_latex_backend.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.1"
+version: "0.20"
 synopsis: "Sail to LaTeX formatting"
 maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
 authors: [
diff --git a/sail_lean_backend.opam b/sail_lean_backend.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.1"
+version: "0.20"
 synopsis: "Sail to Lean translation"
 maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
 authors: [
diff --git a/sail_lem_backend.opam b/sail_lem_backend.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.1"
+version: "0.20"
 synopsis: "Sail to Lem translation"
 maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
 authors: [
diff --git a/sail_manifest.opam b/sail_manifest.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.1"
+version: "0.20"
 synopsis: "Helper tool for compiling Sail"
 maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
 authors: [
diff --git a/sail_ocaml_backend.opam b/sail_ocaml_backend.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.1"
+version: "0.20"
 synopsis: "Sail to OCaml translation"
 maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
 authors: [
diff --git a/sail_output.opam b/sail_output.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.1"
+version: "0.20"
 synopsis: "Example Sail output plugin"
 maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
 authors: [
diff --git a/sail_smt_backend.opam b/sail_smt_backend.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.1"
+version: "0.20"
 synopsis: "Sail to SMT translation"
 maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
 authors: [
diff --git a/sail_sv_backend.opam b/sail_sv_backend.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.19.1"
+version: "0.20"
 synopsis: "Sail to Systemverilog translation"
 maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
 authors: [
diff --git a/src/bin/sail.ml b/src/bin/sail.ml
@@ -52,7 +52,7 @@ open Sail_options
 type version = { major : int; minor : int; patch : int }
 
 (* Current version of Sail. Must be updated manually. *)
-let version = { major = 0; minor = 19; patch = 1 }
+let version = { major = 0; minor = 20; patch = 0 }
 
 let opt_new_cli = ref false
 let opt_free_arguments : string list ref = ref []
diff --git a/test/oneoff/current_version/test.sh b/test/oneoff/current_version/test.sh
@@ -2,4 +2,4 @@
 
 set -e
 
-sail --require-version 0.19.1
+sail --require-version 0.20
diff --git a/test/oneoff/next_version/test.sh b/test/oneoff/next_version/test.sh
@@ -2,7 +2,7 @@
 
 set -e
 
-if sail --require-version 0.20; then
+if sail --require-version 0.20.1; then
     exit 1;
 else
     exit 0;
