Update CHANGELOG

rems-project · Aug 25, 2023 · 393de35 · 393de35
1 parent bea7b8c
commit 393de35
Show file tree

Hide file tree

Showing 13 changed files with 40 additions and 15 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,18 +1,43 @@
 Changelog
 =========
 
-Sail 0.15.1
------------
+Sail 0.16
+---------
+
+##### New documentation backend
+
+A new documentation backend for integrating with Asciidoctor has been
+added.
+
+##### Automatic formatting (EXPERIMENTAL)
+
+The `sail -fmt` option can be used to automatically format Sail
+source. This currently misses some features and can produce ugly
+output in some known cases, so is not ready for serious usage yet.
 
-This is a bugfix release for the following issues:
+##### Fixes
+
+Various bugfixes including:
 
 * Issue 203: https://github.com/rems-project/sail/issues/203
 * Issue 202: https://github.com/rems-project/sail/issues/202
 * Issue 188: https://github.com/rems-project/sail/issues/188
 * Issue 187: https://github.com/rems-project/sail/issues/187
+* Issue 277: https://github.com/rems-project/sail/issues/277
+
+Various mapping issues such as:
+
+* Issue 244: https://github.com/rems-project/sail/issues/244
 
 As well as other minor issues
 
+The `val cast` syntax and support for implict casts is now entirely
+removed, as mentioned in the previous release changes. The flags are
+still allowed (to avoid breaking Makefiles) but no longer do anything.
+
+The pattern completeness checker has been improved and is now context
+sensitive in some cases.
+
 Sail 0.15
 ---------
 

diff --git a/dune-project b/dune-project
@@ -4,7 +4,7 @@
 (using dune_site 0.1)
 
 (name sail)
-(version 0.15)
+(version 0.16)
 
 (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.15"
+version: "0.16"
 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.15"
+version: "0.16"
 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.15"
+version: "0.16"
 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.15"
+version: "0.16"
 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.15"
+version: "0.16"
 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.15"
+version: "0.16"
 synopsis: "Sail to LaTeX formatting"
 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.15"
+version: "0.16"
 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.15"
+version: "0.16"
 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.15"
+version: "0.16"
 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.15"
+version: "0.16"
 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.15"
+version: "0.16"
 synopsis: "Sail to C translation"
 maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
 authors: [