Skip to content

feat!: Update to hugr 0.21 #965

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

Jump to bottom
Merged
merged 9 commits into from
Jul 10, 2025
Merged

feat!: Update to hugr 0.21 #965

merged 9 commits into from
Jul 10, 2025

Conversation

aborgna-q
Copy link
Collaborator

BREAKING CHANGE: Public hugr dependency updated to 0.21.0.

lmondada and others added 8 commits June 24, 2025 10:05
@lmondada
bump hugr to main rev
3309308
@lmondada
Fix hugr bump issues
d28b80f
@zrho
fix: Use TypeArg::List instead of TypeArg::Tuple (#944)
d022ed4 
This replaces `TypeArg::Tuple` with `TypeArg::List` in the construction
of a function type. It also changes the `Cargo.toml` to use the main
branch of `hugr` so that CQCL/hugr#2378 is
integrated, fixing more test failures.

There's now one remaining test failure, related to
CQCL/hugr#2387. It's unclear to me whether
that is to be fixed in `tket2` or in `hugr`.
@lmondada
update hugr to new main
a9d2510
@lmondada
Merge branch 'main' into lm/hugr-v21
a87b755
@lmondada
Merge branch 'main' into lm/hugr-v21
2ac9eed
@aborgna-q
Merge remote-tracking branch 'origin/main' into lm/hugr-v21
48829a9
@aborgna-q
Update to released hugr 0.21
9dd8455
@aborgna-q aborgna-q requested a review from a team as a code owner July 10, 2025 10:47
@aborgna-q aborgna-q requested a review from cqc-alec July 10, 2025 10:47
@codecov Codecov
Copy link

codecov bot commented Jul 10, 2025 •
edited
Loading

Codecov Report

Attention: Patch coverage is 67.47967% with 40 lines in your changes missing coverage. Please review.

Project coverage is 79.24%. Comparing base (32356d9) to head (ba5feed).
Report is 1 commits behind head on main.

Files with missing lines Patch % Lines
tket2-hseries/src/extension/wasm.rs 28.57% 33 Missing and 2 partials ⚠️
tket2-hseries/src/bin/tket2-hseries.rs 0.00% 3 Missing ⚠️
tket2/src/serialize/pytket/extension/prelude.rs 0.00% 2 Missing ⚠️
Additional details and impacted files 
@@            Coverage Diff             @@
##             main     #965      +/-   ##
==========================================
- Coverage   79.36%   79.24%   -0.13%     
==========================================
  Files          92       92              
  Lines       11247    11206      -41     
  Branches    10973    10932      -41     
==========================================
- Hits         8926     8880      -46     
- Misses       1700     1707       +7     
+ Partials      621      619       -2
Flag Coverage Δ
python 81.75% <ø> (ø)
rust 79.18% <67.47%> (-0.13%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@hugrbot
Copy link
Collaborator

hugrbot commented Jul 10, 2025

This PR contains breaking changes to the public Rust API.

cargo-semver-checks summary 

--- failure function_missing: pub fn removed or renamed ---

Description:
A publicly-visible function cannot be imported by its prior path. A `pub use` may have been removed, or the function itself may have been renamed or removed entirely.
      ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
     impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.42.0/src/lints/function_missing.ron

Failed in:
function tket2_hseries::extension::wasm::type_arg_into_type_rv, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket2-hseries/src/extension/wasm.rs:317
function tket2_hseries::extension::wasm::type_arg_into_type_row_rv, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket2-hseries/src/extension/wasm.rs:347
function tket2_hseries::extension::wasm::type_arg_into_type_row, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket2-hseries/src/extension/wasm.rs:331

@cqc-alec
Copy link
Collaborator

Do the extensions need updating?

@aborgna-q aborgna-q added this pull request to the merge queue Jul 10, 2025
Merged via the queue into main with commit 6017450 Jul 10, 2025
20 of 21 checks passed
@aborgna-q aborgna-q deleted the lm/hugr-v21 branch July 10, 2025 11:40
This was referenced Jul 10, 2025
Closed
Closed
Closed
This was referenced Jul 25, 2025
Closed
Merged
jennyQuantinuum pushed a commit that referenced this pull request Jul 27, 2025
@aborgna-q @lmondada
@zrho @ss2165 @jennyQuantinuum
feat!: Update to hugr 0.21 (#965)
8d2aad6 
BREAKING CHANGE: Public `hugr` dependency updated to `0.21.0`.

---------

Co-authored-by: Luca Mondada <luca@mondada.net>
Co-authored-by: Lukas Heidemann <lukas@heidemann.me>
Co-authored-by: Seyon Sivarajah <seyon.sivarajah@quantinuum.com>
github-merge-queue bot pushed a commit that referenced this pull request Jul 28, 2025
@aborgna-q
chore: release (#995)
b5a25c1 
## 🙂  New release

* `tket2`: 0.12.3 -> `tket` 0.13.0 (New crate name!)
* `tket2-hseries`: 0.16.1 -> `tket-qsystem` 0.17.0 (New crate name!)

<details><summary><i><b>Changelog</b></i></summary><p>

## `tket`

<blockquote>

##
[0.13.0](tket2-v0.12.3...tket-v0.13.0)
- 2025-07-25

### New Features

- [**breaking] Rename tket2.* HUGR extensions to tket.*
([#988](#988))
- [**breaking] Rename tket2* libs to tket*
([#987](#987))
- [**breaking**] Update to `hugr 0.21`
([#965](#965))
- Add guppy extension with drop operation
([#962](#962))
- [**breaking**] Split the pytket extension encoder trait
([#970](#970))
</blockquote>

## `tket-qsystem`

<blockquote>

##
[0.17.0](tket2-hseries-v0.16.1...tket-qsystem-v0.17.0)
- 2025-07-25

### New Features

- [**breaking] Rename tket2.* HUGR extensions to tket.*
([#988](#988))
- [**breaking] Rename tket2* libs to tket*
([#987](#987))
- [**breaking**] Update to `hugr 0.21`
([#965](#965))
- Add guppy extension with drop operation
([#962](#962))
</blockquote>


</p></details>

---
This PR was generated by a human.
@hugrbot hugrbot mentioned this pull request Jul 30, 2025
Merged
croyzor pushed a commit that referenced this pull request Aug 11, 2025
@aborgna-q @croyzor
chore: release (#995)
e3216f6 
## 🙂  New release

* `tket2`: 0.12.3 -> `tket` 0.13.0 (New crate name!)
* `tket2-hseries`: 0.16.1 -> `tket-qsystem` 0.17.0 (New crate name!)

<details><summary><i><b>Changelog</b></i></summary><p>

## `tket`

<blockquote>

##
[0.13.0](tket2-v0.12.3...tket-v0.13.0)
- 2025-07-25

### New Features

- [**breaking] Rename tket2.* HUGR extensions to tket.*
([#988](#988))
- [**breaking] Rename tket2* libs to tket*
([#987](#987))
- [**breaking**] Update to `hugr 0.21`
([#965](#965))
- Add guppy extension with drop operation
([#962](#962))
- [**breaking**] Split the pytket extension encoder trait
([#970](#970))
</blockquote>

## `tket-qsystem`

<blockquote>

##
[0.17.0](tket2-hseries-v0.16.1...tket-qsystem-v0.17.0)
- 2025-07-25

### New Features

- [**breaking] Rename tket2.* HUGR extensions to tket.*
([#988](#988))
- [**breaking] Rename tket2* libs to tket*
([#987](#987))
- [**breaking**] Update to `hugr 0.21`
([#965](#965))
- Add guppy extension with drop operation
([#962](#962))
</blockquote>


</p></details>

---
This PR was generated by a human.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@cqc-alec cqc-alec cqc-alec approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
6 participants
@aborgna-q @hugrbot @cqc-alec @lmondada @zrho @ss2165