Skip to content

feat: Use tket rotation gates instead of relying on BRAT extension - #134

Open
croyzor wants to merge 2 commits into
mainfrom
cr/remove-extension/rotation-gates
Open

croyzor wants to merge 2 commits into
mainfrom
cr/remove-extension/rotation-gates

Conversation

@croyzor

@croyzor croyzor commented Sep 17, 2026 •

Copy link
Copy Markdown
Collaborator

Closes #135, towards #125.

When we have an Rx(th) gate in BRAT, for example, we have to emit a hugr that loads the static angle th (computed by the interpreter) and wires it into the actual tket.quantum.Rx op as its last argument. We also need to convert the float to a tket.rotation.

Also fixed bugs in the makeParametrisedGateHugr because it wouldn't have worked for single qubit gates!

@croyzor
croyzor requested a review from acl-cqc September 17, 2026 10:00
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.

Use tket rotation gates instead of BRAT extension

1 participant