Prepare for 0.18 release

rems-project · Jul 22, 2024 · 13d9458 · 13d9458
1 parent 4aff89f
commit 13d9458
Show file tree

Hide file tree

Showing 15 changed files with 46 additions and 16 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,6 +1,37 @@
 Changelog
 =========
 
+Sail 0.18
+---------
+
+This release mostly incorporates many small improvements and fixes
+to Sail 0.17.1.
+
+##### Module System
+
+This release introduces a simple module system. See the section of
+the manual for details.
+
+##### Type level if-then-else
+
+If expressions are now permitted in types, so one can write types such
+as
+```
+bits(if XLEN == 32 then 15 else 57)
+```
+this doesn't add any additional expressiveness, as one could
+previously introduce additional type variables and constrain them in
+such a way to guarantee the same thing, but being able to use
+if-then-else directly is usually more clear.
+
+##### Documentation backend
+
+The Sail documentation backend can now produce hyperlinked and syntax
+highlighted source code output with the `--html` option. The
+Asciidoctor plugin can now hyperlink between definitions included in
+the documentation, and otherwise link into a hyperlinked version of
+the source.
+
 Sail 0.17.1
 -----------
 

diff --git a/dune-project b/dune-project
@@ -4,7 +4,7 @@
 (using dune_site 0.1)
 
 (name sail)
-(version 0.17)
+(version 0.18)
 
 (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.17"
+version: "0.18"
 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.17"
+version: "0.18"
 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.17"
+version: "0.18"
 synopsis: "Sail to C translation"
 maintainer: ["Sail Devs <[email protected]>"]
 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.17"
+version: "0.18"
 synopsis: "Sail to Coq translation"
 maintainer: ["Sail Devs <[email protected]>"]
 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.17"
+version: "0.18"
 synopsis: "Sail documentation generator"
 maintainer: ["Sail Devs <[email protected]>"]
 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.17"
+version: "0.18"
 synopsis: "Sail to LaTeX formatting"
 maintainer: ["Sail Devs <[email protected]>"]
 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.17"
+version: "0.18"
 synopsis: "Sail to Lem translation"
 maintainer: ["Sail Devs <[email protected]>"]
 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.17"
+version: "0.18"
 synopsis: "Helper tool for compiling Sail"
 maintainer: ["Sail Devs <[email protected]>"]
 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.17"
+version: "0.18"
 synopsis: "Sail to OCaml translation"
 maintainer: ["Sail Devs <[email protected]>"]
 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.17"
+version: "0.18"
 synopsis: "Example Sail output plugin"
 maintainer: ["Sail Devs <[email protected]>"]
 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.17"
+version: "0.18"
 synopsis: "Sail to C translation"
 maintainer: ["Sail Devs <[email protected]>"]
 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.17"
+version: "0.18"
 synopsis: "Sail to Systemverilog translation"
 maintainer: ["Sail Devs <[email protected]>"]
 authors: [

diff --git a/src/bin/sail.ml b/src/bin/sail.ml
@@ -71,9 +71,8 @@ open Interactive.State
 
 type version = { major : int; minor : int; patch : int }
 
-(* Current version of Sail. Must be updated manually. CI checks this matches
-   the tag given by `git describe`. *)
-let version = { major = 0; minor = 17; patch = 1 }
+(* Current version of Sail. Must be updated manually. *)
+let version = { major = 0; minor = 18; patch = 0 }
 
 let opt_new_cli = ref false
 let opt_free_arguments : string list ref = ref []