From 13d94588afdd9e7a8829b745db4397840425581a Mon Sep 17 00:00:00 2001 From: Alasdair Date: Mon, 22 Jul 2024 17:09:02 +0100 Subject: [PATCH] Prepare for 0.18 release --- CHANGELOG.md | 31 +++++++++++++++++++++++++++++++ dune-project | 2 +- libsail.opam | 2 +- sail.opam | 2 +- sail_c_backend.opam | 2 +- sail_coq_backend.opam | 2 +- sail_doc_backend.opam | 2 +- sail_latex_backend.opam | 2 +- sail_lem_backend.opam | 2 +- sail_manifest.opam | 2 +- sail_ocaml_backend.opam | 2 +- sail_output.opam | 2 +- sail_smt_backend.opam | 2 +- sail_sv_backend.opam | 2 +- src/bin/sail.ml | 5 ++--- 15 files changed, 46 insertions(+), 16 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index a777b17b1..03f32eb82 100644 --- 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 index 8c4e42aa2..98d5e614b 100644 --- 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 index f0c2d441d..20301fc53 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.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 index ff7a190ac..36327ab08 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.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 index e2c529577..6ae4f77e4 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.17" +version: "0.18" synopsis: "Sail to C translation" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_coq_backend.opam b/sail_coq_backend.opam index 8cc4a82dc..1c8ae11c8 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.17" +version: "0.18" synopsis: "Sail to Coq translation" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_doc_backend.opam b/sail_doc_backend.opam index dcc3354ae..aaaa4c86a 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.17" +version: "0.18" synopsis: "Sail documentation generator" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_latex_backend.opam b/sail_latex_backend.opam index 14e0a7af7..235d6a10c 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.17" +version: "0.18" synopsis: "Sail to LaTeX formatting" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_lem_backend.opam b/sail_lem_backend.opam index ddfe87526..710e82567 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.17" +version: "0.18" synopsis: "Sail to Lem translation" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_manifest.opam b/sail_manifest.opam index f15bfc4a9..9465d3809 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.17" +version: "0.18" synopsis: "Helper tool for compiling Sail" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_ocaml_backend.opam b/sail_ocaml_backend.opam index 7f8d7c426..3cfe4907f 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.17" +version: "0.18" synopsis: "Sail to OCaml translation" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_output.opam b/sail_output.opam index 784851af8..0eb40c6db 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.17" +version: "0.18" synopsis: "Example Sail output plugin" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_smt_backend.opam b/sail_smt_backend.opam index e2c529577..6ae4f77e4 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.17" +version: "0.18" synopsis: "Sail to C translation" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_sv_backend.opam b/sail_sv_backend.opam index fb2938d04..44d6f4fe5 100644 --- 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 "] authors: [ diff --git a/src/bin/sail.ml b/src/bin/sail.ml index 3a53c36e6..36bba16e8 100644 --- 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 []