Skip to content
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.

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

[Optimizer] Support context shift with multiple rules with the same source gate type #168

Merged
merged 2 commits into from
Mar 5, 2024

Conversation

xumingkuan
Copy link
Collaborator

This PR supports context shift with multiple rules with the same source gate type, e.g., "rz q0 0.25pi = t q0", "rz q0 -0.25pi = tdg q0", and also supports constant parameters in create_single_gate_GraphXfer (this feature was already supported in create_GraphXfer_from_qasm_str).

This PR also does some codebase cleaning, and adds a test to test_context_shift.

@xumingkuan xumingkuan merged commit 94fc556 into v0.1 Mar 5, 2024
2 checks passed
xumingkuan added a commit that referenced this pull request Mar 7, 2024
…ource gate type (#168)

* [Optimizer] Support context shift with multiple rules with the same source gate type

* Fix test_toffoli_flip.cpp
xumingkuan added a commit that referenced this pull request Mar 7, 2024
…ource gate type (#168)

* [Optimizer] Support context shift with multiple rules with the same source gate type

* Fix test_toffoli_flip.cpp
xumingkuan added a commit that referenced this pull request Mar 11, 2024
…nch (#171)

* [Optimizer] Support context shift with multiple rules with the same source gate type (#168)

* [Optimizer] Support context shift with multiple rules with the same source gate type

* Fix test_toffoli_flip.cpp

* [Optimizer] Support context shift with multiple rules with the same source gate type (#168)

* [Optimizer] Support context shift with multiple rules with the same source gate type

* Fix test_toffoli_flip.cpp

* Cherry-pick #169

* [CircuitSeq] Add a linear function to translate CCZ gates into CX and RZ gates (#170)

* [CircuitSeq] Add a linear function to translate Rz gates into T gates

* [CircuitSeq] Add a linear function to translate CCZ gates into CX and RZ gates

* code format

* Adapt #170 to the new syntax

* Remove debug output

* update ECC set to the master branch syntax

* modify H_CZ_2_2_complete_ECC_set.json and fix compile error
@xumingkuan xumingkuan deleted the v0.1-ctx-shift branch March 13, 2024 18: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.

1 participant