diff --git a/CHANGELOG.md b/CHANGELOG.md index 80a4b1f54..54421ce96 100644 --- 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 index 23ab4217a..0fafda1b3 100644 --- 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 index ad46aa51b..03f4a229f 100644 --- 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 index fe2122535..5a10085b8 100644 --- 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 index ce4922203..bb1687045 100644 --- 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 "] authors: [ diff --git a/sail_coq_backend.opam b/sail_coq_backend.opam index 86920bfc7..ab6d716ea 100644 --- 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 "] authors: [ diff --git a/sail_doc_backend.opam b/sail_doc_backend.opam index 933cda146..38fdbd633 100644 --- 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 "] authors: [ diff --git a/sail_latex_backend.opam b/sail_latex_backend.opam index b9e396499..518a7b34b 100644 --- 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 "] authors: [ diff --git a/sail_lem_backend.opam b/sail_lem_backend.opam index 8afd50217..4a720eafd 100644 --- 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 "] authors: [ diff --git a/sail_manifest.opam b/sail_manifest.opam index fce3028f4..f13c1efc6 100644 --- 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 "] authors: [ diff --git a/sail_ocaml_backend.opam b/sail_ocaml_backend.opam index e8e9f6986..4e3c6d4d5 100644 --- 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 "] authors: [ diff --git a/sail_output.opam b/sail_output.opam index 0b9f544ac..c1a412d0c 100644 --- 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 "] authors: [ diff --git a/sail_smt_backend.opam b/sail_smt_backend.opam index ce4922203..bb1687045 100644 --- 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 "] authors: [