feat: Set minimum supported rust version (MSRV)

Make the MSRV explicit. Also simplifies detection of future semver incompatibilities based on the MSRV.
TritonVM · Dec 8, 2024 · a6cc98a · a6cc98a
1 parent 814f5d5
commit a6cc98a
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 0 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -27,6 +27,7 @@ build-override.opt-level = 3
 [workspace.package]
 version = "0.43.0"
 edition = "2021"
+rust-version = "1.80"
 authors = ["Triton Software AG"]
 license = "Apache-2.0"
 homepage = "https://triton-vm.org/"

diff --git a/triton-air/Cargo.toml b/triton-air/Cargo.toml
@@ -7,6 +7,7 @@ The Arithmetic Intermediate Representation (AIR) for Triton VM.
 readme = "README.md"
 version.workspace = true
 edition.workspace = true
+rust-version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true

diff --git a/triton-constraint-builder/Cargo.toml b/triton-constraint-builder/Cargo.toml
@@ -7,6 +7,7 @@ Emits efficient code from Triton VM's AIR.
 readme = "README.md"
 version.workspace = true
 edition.workspace = true
+rust-version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true

diff --git a/triton-constraint-circuit/Cargo.toml b/triton-constraint-circuit/Cargo.toml
@@ -7,6 +7,7 @@ AIR constraints build helper for Triton VM.
 readme = "README.md"
 version.workspace = true
 edition.workspace = true
+rust-version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true

diff --git a/triton-isa/Cargo.toml b/triton-isa/Cargo.toml
@@ -7,6 +7,7 @@ readme = "README.md"
 
 version.workspace = true
 edition.workspace = true
+rust-version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true

diff --git a/triton-vm/Cargo.toml b/triton-vm/Cargo.toml
@@ -10,6 +10,7 @@ categories = ["cryptography", "mathematics"]
 
 version.workspace = true
 edition.workspace = true
+rust-version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true