chore: Update deps, bump MSRV to 1.75 (#279)

CQCL · Jan 2, 2024 · 3dae175 · 3dae175
1 parent 9d59276
commit 3dae175
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 8 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -64,13 +64,13 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        rust: ['1.71', stable, beta]
+        rust: ['1.75', stable, beta]
         # workaround to ignore non-stable tests when running the merge queue checks
         # see: https://github.community/t/how-to-conditionally-include-exclude-items-in-matrix-eg-based-on-branch/16853/6
         isMerge:
             - ${{ github.event_name == 'merge_group' }}
         exclude:
-          - rust: '1.71'
+          - rust: '1.75'
             isMerge: true
           - rust: beta
             isMerge: true

diff --git a/Cargo.toml b/Cargo.toml
@@ -8,7 +8,7 @@ default-members = ["tket2"]
 
 [workspace.package]
 version = "0.0.0-alpha.1"
-rust-version = "1.71"
+rust-version = "1.75"
 edition = "2021"
 homepage = "https://github.com/CQCL/tket2"
 license-file = "LICENCE"
@@ -20,7 +20,7 @@ missing_docs = "warn"
 [workspace.dependencies]
 
 tket2 = { path = "./tket2" }
-quantinuum-hugr = { git = "https://github.com/CQCL/hugr", rev = "4b11a24" }
+quantinuum-hugr = { git = "https://github.com/CQCL/hugr", rev = "0edee65" }
 portgraph = { version = "0.11" }
 pyo3 = { version = "0.20" }
 itertools = { version = "0.12.0" }

diff --git a/DEVELOPMENT.md b/DEVELOPMENT.md
@@ -28,7 +28,7 @@ shell by setting up [direnv](https://devenv.sh/automatic-shell-activation/).
 
 To setup the environment manually you will need:
 
-- Rust 1.71+: https://www.rust-lang.org/tools/install
+- Rust 1.75+: https://www.rust-lang.org/tools/install
 
 - Poetry: https://python-poetry.org/
 

diff --git a/README.md b/README.md
@@ -7,7 +7,7 @@
 Version 2 of the TKET compiler.
 
   [build_status]: https://github.com/CQCL-DEV/hugr/workflows/Continuous%20integration/badge.svg?branch=main
-  [msrv]: https://img.shields.io/badge/rust-1.71.0%2B-blue.svg
+  [msrv]: https://img.shields.io/badge/rust-1.75.0%2B-blue.svg
   [codecov]: https://img.shields.io/codecov/c/gh/CQCL/tket2?logo=codecov
 
 ## Features

diff --git a/tket2/src/extension.rs b/tket2/src/extension.rs
@@ -9,7 +9,7 @@ use hugr::extension::simple_op::MakeOpDef;
 use hugr::extension::{CustomSignatureFunc, ExtensionId, ExtensionRegistry, SignatureError};
 use hugr::hugr::IdentList;
 use hugr::ops::custom::{ExternalOp, OpaqueOp};
-use hugr::std_extensions::arithmetic::float_types::{extension as float_extension, FLOAT64_TYPE};
+use hugr::std_extensions::arithmetic::float_types::{EXTENSION as FLOAT_EXTENSION, FLOAT64_TYPE};
 use hugr::types::type_param::{CustomTypeArg, TypeArg, TypeParam};
 use hugr::types::{CustomType, FunctionType, PolyFuncType, Type, TypeBound};
 use hugr::{type_row, Extension};
@@ -67,7 +67,7 @@ pub static ref REGISTRY: ExtensionRegistry = ExtensionRegistry::try_new([
     TKET1_EXTENSION.clone(),
     PRELUDE.clone(),
     TKET2_EXTENSION.clone(),
-    float_extension(),
+    FLOAT_EXTENSION.clone(),
 ]).unwrap();