Skip to content

feat: Upgrade guppylang, tket, & hugr for guppylang v1#4

Open
cgh-qtnm wants to merge 2 commits into
mainfrom
gh-guppyv1
Open

feat: Upgrade guppylang, tket, & hugr for guppylang v1#4
cgh-qtnm wants to merge 2 commits into
mainfrom
gh-guppyv1

Conversation

@cgh-qtnm

@cgh-qtnm cgh-qtnm commented Jul 17, 2026

Copy link
Copy Markdown

Upgraded the upper-stack dependencies to guppylang v1 and compatible, and increased requires-python to 3.12. The only code change is the removal of register_extension.

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Upgrades the project’s dependency stack to target guppylang v1-compatible releases (including tket-exts and hugr) and aligns the project with Python 3.12+. The only runtime code change removes the ENGINE.register_extension(...) call that was previously executed during decoration.

Changes:

  • Bump Python requirement to >=3.12 and update dependency constraints to guppylang/guppylang-internals ~=1.0.0rc1, hugr ~=0.18.0, and tket-exts ~=0.14.0.
  • Allow pre-releases in uv configuration and lockfile to enable resolving RC/alpha packages.
  • Remove extension registration call from ext_module_decorator-produced decorator.

Reviewed changes

Copilot reviewed 2 out of 3 changed files in this pull request and generated no comments.

File Description
uv.lock Regenerates lock for Python 3.12+ and updated upper-stack packages; enables prerelease resolution.
pyproject.toml Updates Python/version constraints and adds uv prerelease configuration.
src/guppy_gpu/decorator.py Removes ENGINE.register_extension(QSYSTEM_GPU_EXTENSION) from the decorator path.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@cgh-qtnm
cgh-qtnm marked this pull request as draft July 17, 2026 17:25
@cgh-qtnm
cgh-qtnm marked this pull request as ready for review July 17, 2026 17:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants