Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Increment version number #1115

Merged
merged 1 commit into from
Mar 7, 2025
Merged

Increment version number #1115

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion dune-project
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
(using dune_site 0.1)

(name sail)
(version 0.18)
(version 0.19)

(generate_opam_files true)

Expand Down
2 changes: 1 addition & 1 deletion libsail.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.18"
version: "0.19"
synopsis:
"Sail is a language for describing the instruction semantics of processors"
description: """
Expand Down
2 changes: 1 addition & 1 deletion sail.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.18"
version: "0.19"
synopsis:
"Sail is a language for describing the instruction semantics of processors"
description: """
Expand Down
2 changes: 1 addition & 1 deletion sail_c_backend.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.18"
version: "0.19"
synopsis: "Sail to C translation"
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
authors: [
Expand Down
2 changes: 1 addition & 1 deletion sail_coq_backend.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.18"
version: "0.19"
synopsis: "Sail to Coq translation"
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
authors: [
Expand Down
2 changes: 1 addition & 1 deletion sail_doc_backend.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.18"
version: "0.19"
synopsis: "Sail documentation generator"
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
authors: [
Expand Down
2 changes: 1 addition & 1 deletion sail_latex_backend.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.18"
version: "0.19"
synopsis: "Sail to LaTeX formatting"
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
authors: [
Expand Down
2 changes: 1 addition & 1 deletion sail_lean_backend.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.18"
version: "0.19"
synopsis: "Sail to Lean translation"
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
authors: [
Expand Down
2 changes: 1 addition & 1 deletion sail_lem_backend.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.18"
version: "0.19"
synopsis: "Sail to Lem translation"
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
authors: [
Expand Down
2 changes: 1 addition & 1 deletion sail_manifest.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.18"
version: "0.19"
synopsis: "Helper tool for compiling Sail"
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
authors: [
Expand Down
2 changes: 1 addition & 1 deletion sail_ocaml_backend.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.18"
version: "0.19"
synopsis: "Sail to OCaml translation"
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
authors: [
Expand Down
2 changes: 1 addition & 1 deletion sail_output.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.18"
version: "0.19"
synopsis: "Example Sail output plugin"
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
authors: [
Expand Down
2 changes: 1 addition & 1 deletion sail_smt_backend.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.18"
version: "0.19"
synopsis: "Sail to SMT translation"
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
authors: [
Expand Down
2 changes: 1 addition & 1 deletion sail_sv_backend.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.18"
version: "0.19"
synopsis: "Sail to Systemverilog translation"
maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
authors: [
Expand Down
2 changes: 1 addition & 1 deletion src/bin/sail.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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 = 18; patch = 0 }
let version = { major = 0; minor = 19; patch = 0 }

let opt_new_cli = ref false
let opt_free_arguments : string list ref = ref []
Expand Down
5 changes: 5 additions & 0 deletions test/oneoff/current_version/test.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
#!/bin/sh

set -e

sail --require-version 0.19
9 changes: 9 additions & 0 deletions test/oneoff/next_version/test.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
#!/bin/sh

set -e

if sail --require-version 0.20; then
exit 1;
else
exit 0;
fi
Loading