.gitignore
.pre-commit-config.yaml
LICENSE
Makefile
README.md
mypy-check
mypy.ini
pyproject.toml
pytest.ini
ruff.toml
.github/CODEOWNERS
.github/dependabot.yml
.github/pull_request_template.md
.github/workflows/build-test
.github/workflows/build_and_test.yml
.github/workflows/issue-to-project.yml
.github/workflows/lint.yml
quantinuum_qircheck/__init__.py
quantinuum_qircheck/api.py
quantinuum_qircheck/py.typed
quantinuum_qircheck/qircheck.py
quantinuum_qircheck.egg-info/PKG-INFO
quantinuum_qircheck.egg-info/SOURCES.txt
quantinuum_qircheck.egg-info/dependency_links.txt
quantinuum_qircheck.egg-info/requires.txt
quantinuum_qircheck.egg-info/top_level.txt
tests/check_test.py
tests/testfile.wasm
tests/qir/invalid/invalid_1.ll
tests/qir/invalid/invalid_2.ll
tests/qir/invalid/test_pytket_qir_16-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/invalid/test_pytket_qir_conditional_15-block-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/invalid/test_pytket_qir_conditional_16-block-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/invalid/test_pytket_qir_conditional_17-block-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/invalid/test_pytket_qir_wasm_2-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/invalid/test_pytket_qir_wasm_3-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/invalid/test_pytket_qir_wasm_4-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/invalid/test_pytket_qir_wasm_5-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/invalid/test_pytket_qir_wasm_6-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir-QIRProfile.BASE.ll
tests/qir/valid/test_pytket_qir-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_10-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_10-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_10-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_10-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_11-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_11-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_11-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_11-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_12-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_12-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_12-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_12-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_13-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_13-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_13-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_13-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_14-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_14-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_14-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_14-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_15-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_15-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_15-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_15-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_16-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_16-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_16-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_17-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_17-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_17-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_17-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_19-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_19-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_19-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_19-QIRProfile.BASE.ll
tests/qir/valid/test_pytket_qir_19-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_2-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_2-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_2-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_2-QIRProfile.BASE.ll
tests/qir/valid/test_pytket_qir_2-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_20-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_20-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_20-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_20-QIRProfile.BASE.ll
tests/qir/valid/test_pytket_qir_20-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_3-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_3-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_3-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_3-QIRProfile.BASE.ll
tests/qir/valid/test_pytket_qir_3-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_4-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_4-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_4-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_4-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_5-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_5-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_5-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_5-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_6-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_6-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_6-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_6-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_7-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_7-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_7-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_7-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_8-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_8-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_8-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_8-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_9-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_9-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_9-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_9-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_barrier-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_barrier_2-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_10-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_10-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_10-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_10-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_11-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_11-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_11-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_11-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_12-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_12-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_12-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_12-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_13-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_13-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_13-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_13-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_14-block-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_14-block-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_14-block-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_14-block-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_15-block-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_15-block-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_15-block-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_16-block-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_16-block-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_16-block-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_17-block-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_17-block-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_17-block-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_18-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_18-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_18-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_18-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_19-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_19-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_19-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_19-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_2-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_2-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_2-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_2-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_20-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_20-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_20-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_20-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_3-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_3-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_3-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_3-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_4-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_4-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_4-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_4-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_5-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_5-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_5-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_5-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_6-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_6-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_6-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_6-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_7-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_7-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_7-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_7-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_8-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_8-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_8-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_8-QIRProfile.BASE.ll
tests/qir/valid/test_pytket_qir_conditional_8-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_conditional_9-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_9-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_conditional_9-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_conditional_9-QIRProfile.BASE.ll
tests/qir/valid/test_pytket_qir_conditional_9-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_module-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_qasm-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_qasm_classical_0-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_qasm_classical_0-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_qasm_classical_0-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_qasm_classical_1-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_qasm_classical_1-QIRProfile.AZUREADAPTIVE.ll
tests/qir/valid/test_pytket_qir_qasm_classical_1-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_quantum-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_quantum_2-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_quantum_3-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_quantum_4-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_quantum_5-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_rangepredicate.ll
tests/qir/valid/test_pytket_qir_rng-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_rng-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_rng_2-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_rng_2-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_rng_3-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_rng_3-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_rng_4-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_rng_4-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_rng_5-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_rng_5-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_rng_6-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_rng_6-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_wasm-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_wasm-QIRProfile.ADAPTIVE_CREGSIZE.ll
tests/qir/valid/test_pytket_qir_wasm-QIRProfile.BASE.ll
tests/qir/valid/test_pytket_qir_wasm-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_wasm_2-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_wasm_2-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_wasm_3-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_wasm_3-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_wasm_4-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_wasm_4-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_wasm_5-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_wasm_5-QIRProfile.PYTKET.ll
tests/qir/valid/test_pytket_qir_wasm_6-QIRProfile.ADAPTIVE.ll
tests/qir/valid/test_pytket_qir_wasm_6-QIRProfile.PYTKET.ll
uv-qqirc/bin/activate_this.py