Merge branch 'main' into lm/perwire

Author: lmondada

.github/change-filters.yml

@@ -26,6 +26,9 @@ rust: &rust
   - "hugr-passes/**"
   - "specification/schema/**"
 
+std-extensions:
+  - "specification/std_extensions/**"
+
 python:
   - *rust
   - "hugr-py/**"

.github/workflows/ci-py.yml

@@ -21,7 +21,7 @@ env:
 
 jobs:
   # Check if changes were made to the relevant files.
-  # Always returns true if running on the default branch, to ensure all changes are throughly checked.
+  # Always returns true if running on the default branch, to ensure all changes are thoroughly checked.
   changes:
     name: Check for changes in Python files
     runs-on: ubuntu-latest
@@ -31,6 +31,7 @@ jobs:
     # Set job outputs to values from filter step
     outputs:
       python: ${{ github.ref_name == github.event.repository.default_branch || steps.filter.outputs.python }}
+      extensions: ${{ github.ref_name == github.event.repository.default_branch || steps.filter.outputs.std-extensions }}
     steps:
       - uses: actions/checkout@v4
       - uses: dorny/paths-filter@v3
@@ -179,11 +180,41 @@ jobs:
             exit 1
           fi
 
+  extension-versions:
+    runs-on: ubuntu-latest
+    needs: [changes]
+    if: ${{ needs.changes.outputs.extensions == 'true' }}
+    name: Check std extensions versions
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0  # Need full history to compare with main
+
+      - name: Set up Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.10'
+
+      - name: Check if extension versions are updated
+        run: |
+            # Check against latest tag on the target branch
+            # When not on a pull request, base_ref should be empty so we default to HEAD
+            if [ -z "$TARGET_REF" ]; then
+              BASE_SHA="HEAD~1"
+            else
+              BASE_SHA=$(git rev-parse origin/$TARGET_REF)
+            fi
+            echo "Comparing to ref: $BASE_SHA"
+
+            python ./scripts/check_extension_versions.py $BASE_SHA
+        env:
+          TARGET_REF: ${{ github.base_ref }}
+
   # This is a meta job to mark successful completion of the required checks,
   # even if they are skipped due to no changes in the relevant files.
   required-checks:
     name: Required checks 🐍
-    needs: [changes, check, test, serialization-schema]
+    needs: [changes, check, test, serialization-schema, extension-versions]
     if: ${{ !cancelled() }}
     runs-on: ubuntu-latest
     steps:

Cargo.lock

@@ -67,7 +67,7 @@ rstest = "0.24.0"
 semver = "1.0.26"
 serde = "1.0.219"
 serde_json = "1.0.140"
-serde_with = "3.13.0"
+serde_with = "3.14.0"
 serde_yaml = "0.9.34"
 smol_str = "0.3.1"
 static_assertions = "1.1.0"
@@ -81,9 +81,9 @@ clap-verbosity-flag = "3.0.3"
 assert_cmd = "2.0.17"
 assert_fs = "1.1.3"
 predicates = "3.1.0"
-indexmap = "2.9.0"
+indexmap = "2.10.0"
 fxhash = "0.2.1"
-bumpalo = "3.18.1"
+bumpalo = "3.19.0"
 pathsearch = "0.2.0"
 base64 = "0.22.1"
 ordered-float = "5.0.0"

Cargo.toml

@@ -1,6 +1,12 @@
 # Changelog
 
 
+## [0.20.2](https://github.com/CQCL/hugr/compare/hugr-cli-v0.20.1...hugr-cli-v0.20.2) - 2025-06-25
+
+### New Features
+
+- *(cli)* convert sub-command for converting envelope formats ([#2331](https://github.com/CQCL/hugr/pull/2331))
+
 ## [0.20.1](https://github.com/CQCL/hugr/compare/hugr-cli-v0.20.0...hugr-cli-v0.20.1) - 2025-06-03
 
 ### New Features

hugr-cli/CHANGELOG.md

@@ -1,6 +1,6 @@
 [package]
 name = "hugr-cli"
-version = "0.20.1"
+version = "0.20.2"
 edition = { workspace = true }
 rust-version = { workspace = true }
 license = { workspace = true }
@@ -19,7 +19,7 @@ bench = false
 clap = { workspace = true, features = ["derive", "cargo"] }
 clap-verbosity-flag.workspace = true
 derive_more = { workspace = true, features = ["display", "error", "from"] }
-hugr = { path = "../hugr", version = "0.20.1" }
+hugr = { path = "../hugr", version = "0.20.2" }
 serde_json.workspace = true
 clio = { workspace = true, features = ["clap-parse"] }
 anyhow.workspace = true

hugr-cli/Cargo.toml

@@ -47,7 +47,7 @@ fn run_external(args: Vec<OsString>) -> Result<()> {
         std::process::exit(1);
     }
     let subcmd = args[0].to_string_lossy();
-    let exe = format!("hugr-{}", subcmd);
+    let exe = format!("hugr-{subcmd}");
     let rest: Vec<_> = args[1..]
         .iter()
         .map(|s| s.to_string_lossy().to_string())

hugr-cli/src/main.rs

@@ -1,5 +1,27 @@
 # Changelog
 
+## [0.20.2](https://github.com/CQCL/hugr/compare/hugr-core-v0.20.1...hugr-core-v0.20.2) - 2025-06-25
+
+### Documentation
+
+- fix doc links in persistent
+
+### New Features
+
+- Add serial data types for SimpleReplacement and PersistentHugr ([#2300](https://github.com/CQCL/hugr/pull/2300))
+- Add MermaidFormatter to replace RenderConfig ([#2275](https://github.com/CQCL/hugr/pull/2275))
+- *(core)* builder pattern for EnvelopeConfig ([#2330](https://github.com/CQCL/hugr/pull/2330))
+- *(core, llvm)* add array unpack operations ([#2339](https://github.com/CQCL/hugr/pull/2339))
+- Deprecate invalidation_set, add invalidated_nodes and SimpleReplacement::invalidation_set ([#2358](https://github.com/CQCL/hugr/pull/2358))
+- Rewrite for peeling a TailLoop ([#2290](https://github.com/CQCL/hugr/pull/2290))
+- Create Module/FunctionBuilders from existing Hugrs ([#2359](https://github.com/CQCL/hugr/pull/2359))
+- better errors using metadata from generator ([#2368](https://github.com/CQCL/hugr/pull/2368))
+- use `core.` prefixes for generator metadata keys ([#2371](https://github.com/CQCL/hugr/pull/2371))
+
+### Refactor
+
+- *(types.rs)* rm incorrect comment and unnecessary allow-unused ([#2340](https://github.com/CQCL/hugr/pull/2340))
+
 ## [0.20.1](https://github.com/CQCL/hugr/compare/hugr-core-v0.20.0...hugr-core-v0.20.1) - 2025-06-03
 
 ### Bug Fixes

hugr-core/CHANGELOG.md

@@ -1,6 +1,6 @@
 [package]
 name = "hugr-core"
-version = "0.20.1"
+version = "0.20.2"
 edition = { workspace = true }
 rust-version = { workspace = true }
 
@@ -28,7 +28,7 @@ bench = false
 name = "model"
 
 [dependencies]
-hugr-model = { version = "0.20.1", path = "../hugr-model" }
+hugr-model = { version = "0.20.2", path = "../hugr-model" }
 
 cgmath = { workspace = true, features = ["serde"] }
 delegate = { workspace = true }
@@ -63,6 +63,9 @@ semver = { workspace = true, features = ["serde"] }
 zstd = { workspace = true, optional = true }
 ordered-float = { workspace = true, features = ["serde"] }
 base64.workspace = true
+relrc = { workspace = true, features = ["petgraph", "serde"] }
+smallvec = "1.15.0"
+tracing = "0.1.41"
 
 [dev-dependencies]
 rstest = { workspace = true }