✨ Add error correction module with Shor and Steane logical circuit transpilers

.github/workflows/cd.yml

@@ -12,13 +12,13 @@ permissions: {}
 jobs:
   build-sdist:
     name: 🐍 Packaging
-    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-packaging-sdist.yml@ace7363a2a8e036e5efc6717be67f1eda29a120e # v2.4.2
+    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-packaging-sdist.yml@ae4c1005796fedc123c3c70cdba94ce643c9fcae # v2.3.1
     permissions:
       contents: read
 
   build-wheel:
     name: 🐍 Packaging
-    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-packaging-wheel-build.yml@ace7363a2a8e036e5efc6717be67f1eda29a120e # v2.4.2
+    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-packaging-wheel-build.yml@ae4c1005796fedc123c3c70cdba94ce643c9fcae # v2.3.1
     permissions:
       contents: read
 

.github/workflows/ci.yml

@@ -17,7 +17,7 @@ permissions: {}
 jobs:
   change-detection:
     name: 🔍 Change
-    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-change-detection.yml@ace7363a2a8e036e5efc6717be67f1eda29a120e # v2.4.2
+    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-change-detection.yml@ae4c1005796fedc123c3c70cdba94ce643c9fcae # v2.3.1
     permissions:
       contents: read
 
@@ -29,18 +29,17 @@ jobs:
       fail-fast: false
       matrix:
         runs-on: [ubuntu-24.04, ubuntu-24.04-arm, macos-26, windows-2025]
-    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-tests.yml@ace7363a2a8e036e5efc6717be67f1eda29a120e # v2.4.2
+    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-tests.yml@ae4c1005796fedc123c3c70cdba94ce643c9fcae # v2.3.1
     with:
       runs-on: ${{ matrix.runs-on }}
-      use-sccache-gha: false
     permissions:
       contents: read
 
   python-coverage:
     name: 🐍 Coverage
     needs: [change-detection, python-tests]
     if: fromJSON(needs.change-detection.outputs.run-python-tests)
-    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-coverage.yml@ace7363a2a8e036e5efc6717be67f1eda29a120e # v2.4.2
+    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-coverage.yml@ae4c1005796fedc123c3c70cdba94ce643c9fcae # v2.3.1
     permissions:
       contents: read
       id-token: write
@@ -49,7 +48,7 @@ jobs:
     name: 🐍 Lint
     needs: change-detection
     if: fromJSON(needs.change-detection.outputs.run-python-linter)
-    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-linter.yml@ace7363a2a8e036e5efc6717be67f1eda29a120e # v2.4.2
+    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-linter.yml@ae4c1005796fedc123c3c70cdba94ce643c9fcae # v2.3.1
     with:
       enable-ty: true
       enable-mypy: false
@@ -60,15 +59,15 @@ jobs:
     name: 🚀 CD
     needs: change-detection
     if: fromJSON(needs.change-detection.outputs.run-cd)
-    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-packaging-sdist.yml@ace7363a2a8e036e5efc6717be67f1eda29a120e # v2.4.2
+    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-packaging-sdist.yml@ae4c1005796fedc123c3c70cdba94ce643c9fcae # v2.3.1
     permissions:
       contents: read
 
   build-wheel:
     name: 🚀 CD
     needs: change-detection
     if: fromJSON(needs.change-detection.outputs.run-cd)
-    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-packaging-wheel-build.yml@ace7363a2a8e036e5efc6717be67f1eda29a120e # v2.4.2
+    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-python-packaging-wheel-build.yml@ae4c1005796fedc123c3c70cdba94ce643c9fcae # v2.3.1
     permissions:
       contents: read
 

.github/workflows/upstream.yml

@@ -21,7 +21,7 @@ jobs:
       fail-fast: false
       matrix:
         runs-on: [ubuntu-24.04, macos-26, windows-2025]
-    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-qiskit-upstream-tests.yml@ace7363a2a8e036e5efc6717be67f1eda29a120e # v2.4.2
+    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-qiskit-upstream-tests.yml@ae4c1005796fedc123c3c70cdba94ce643c9fcae # v2.3.1
     with:
       runs-on: ${{ matrix.runs-on }}
     permissions:
@@ -31,7 +31,7 @@ jobs:
     name: Create issue on failure
     needs: qiskit-upstream-tests
     if: ${{ always() }}
-    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-qiskit-upstream-issue.yml@ace7363a2a8e036e5efc6717be67f1eda29a120e # v2.4.2
+    uses: munich-quantum-toolkit/workflows/.github/workflows/reusable-qiskit-upstream-issue.yml@ae4c1005796fedc123c3c70cdba94ce643c9fcae # v2.3.1
     with:
       tests-result: ${{ needs.qiskit-upstream-tests.result }}
     permissions:

.pre-commit-config.yaml

@@ -54,14 +54,14 @@ repos:
 
   ## Check pyproject.toml file
   - repo: https://github.com/henryiii/validate-pyproject-schema-store
-    rev: 2026.09.04
+    rev: 2026.08.29
     hooks:
       - id: validate-pyproject
         priority: 0
 
   ## Ensure uv.lock is up to date
   - repo: https://github.com/astral-sh/uv-pre-commit
-    rev: 0.12.10
+    rev: 0.12.7
     hooks:
       - id: uv-lock
         priority: 0
@@ -78,7 +78,7 @@ repos:
 
   ## Check for typos
   - repo: https://github.com/adhtruong/mirrors-typos
-    rev: v1.50.1
+    rev: v1.50.0
     hooks:
       - id: typos
         priority: 3
@@ -127,16 +127,9 @@ repos:
       - id: rumdl-fmt
         priority: 6
 
-  ## Format pyproject.toml with pyproject-fmt
-  - repo: https://github.com/tox-dev/pyproject-fmt
-    rev: v2.29.3
-    hooks:
-      - id: pyproject-fmt
-        priority: 5
-
   ## Format and lint Python files with ruff
   - repo: https://github.com/astral-sh/ruff-pre-commit
-    rev: v0.16.6
+    rev: v0.16.5
     hooks:
       - id: ruff-check
         require_serial: true
@@ -147,7 +140,7 @@ repos:
 
   ## Check Python types with ty
   - repo: https://github.com/astral-sh/ty-pre-commit
-    rev: v0.0.78
+    rev: v0.0.75
     hooks:
       - id: ty
         args: [--isolated]

CHANGELOG.md

@@ -12,19 +12,17 @@ that minor releases may include breaking changes.
 
 ## [Unreleased]
 
-## [2.3.0] - 2026-09-12
-
-_If you are upgrading: please see [`UPGRADING.md`](UPGRADING.md#230)._
-
 ### Added
 
-- ✨ Add optional structured loops to Grover's algorithm and quantum walk
-  ([#997]) ([**@flowerthrower**])
+- ✨ Add Steane's and Shor's encoding for benchmarks ([#930])
+  ([**@Felix-Gundlach**], [**@emilkanic0909**], [**@SalehAlsherif**])
 
 ### Changed
 
-- ⬆️ Raise the minimum Qiskit version from 2.0.0 to 2.1.0 ([#1024])
-  ([**@denialhaag**])
+- ⬆️ Increase minimum Qiskit version to 2.4.0 ([#930]) ([**@Felix-Gundlach**],
+  [**@emilkanic0909**], [**@SalehAlsherif**])
+- ✨ Add optional structured loops to Grover's algorithm and quantum walk
+  ([#997]) ([**@flowerthrower**])
 - 🔥 Drop support for Python 3.10 ([#999]) ([**@denialhaag**])
 - 🍎 Stop testing on x86 macOS systems ([#999]) ([**@denialhaag**])
 
@@ -178,8 +176,7 @@ _📚 Refer to the [GitHub Release Notes] for previous changelogs._
 
 <!-- Version links -->
 
-[unreleased]: https://github.com/munich-quantum-toolkit/bench/compare/v2.3.0...HEAD
-[2.3.0]: https://github.com/munich-quantum-toolkit/bench/releases/tag/v2.3.0
+[unreleased]: https://github.com/munich-quantum-toolkit/bench/compare/v2.2.3...HEAD
 [2.2.3]: https://github.com/munich-quantum-toolkit/bench/releases/tag/v2.2.3
 [2.2.2]: https://github.com/munich-quantum-toolkit/bench/releases/tag/v2.2.2
 [2.2.1]: https://github.com/munich-quantum-toolkit/bench/releases/tag/v2.2.1
@@ -191,7 +188,6 @@ _📚 Refer to the [GitHub Release Notes] for previous changelogs._
 
 <!-- PR links -->
 
-[#1024]: https://github.com/munich-quantum-toolkit/bench/pull/1024
 [#1011]: https://github.com/munich-quantum-toolkit/bench/pull/1011
 [#999]: https://github.com/munich-quantum-toolkit/bench/pull/999
 [#997]: https://github.com/munich-quantum-toolkit/bench/pull/997
@@ -253,6 +249,9 @@ _📚 Refer to the [GitHub Release Notes] for previous changelogs._
 [**@TomasVF**]: https://github.com/TomasVF
 [**@flowerthrower**]: https://github.com/flowerthrower
 [**@johanneswittmann9**]: https://github.com/johanneswittmann9
+[**@Felix-Gundlach**]: https://github.com/Felix-Gundlach
+[**@emilkanic0909**]: https://github.com/emilkanic0909
+[**@SalehAlsherif**]: https://github.com/SalehAlsherif
 [**@cnYui**]: https://github.com/cnYui
 
 <!-- General links -->

README.md

@@ -34,27 +34,27 @@ throughout the quantum computing software stack. MQT Bench is hosted at
 - **Comprehensive Quantum Benchmark Suite:** Provides a wide range of quantum
   circuit benchmarks, including algorithms such as GHZ, QAOA, QFT, Grover, Shor,
   and many more.
-  [List of benchmarks](https://mqt.readthedocs.io/projects/bench/en/stable/benchmark_selection.html)
+  [List of benchmarks](https://mqt.readthedocs.io/projects/bench/en/latest/benchmark_selection.html)
 - **Cross-Level Benchmark Generation:** Supports four abstraction
   levels—algorithmic, target-independent, target-dependent native gates, and
   target-dependent mapped—enabling benchmarking across the entire quantum
   software stack.
-  [Abstraction levels](https://mqt.readthedocs.io/projects/bench/en/stable/abstraction_levels.html)
+  [Abstraction levels](https://mqt.readthedocs.io/projects/bench/en/latest/abstraction_levels.html)
 - **Flexible Target and Gateset Support:** Generate circuits for various
   hardware targets and native gatesets, including IBM, IonQ, Quantinuum,
   Rigetti, and more.
-  [Supported devices and gatesets](https://mqt.readthedocs.io/projects/bench/en/stable/parameter.html)
+  [Supported devices and gatesets](https://mqt.readthedocs.io/projects/bench/en/latest/parameter.html)
 - **Python API, CLI, and Web Interface:** Use MQT Bench programmatically via
   Python, from the command line, or through an interactive web
   interface—whichever fits your workflow.
-  [Usage guide](https://mqt.readthedocs.io/projects/bench/en/stable/usage.html)
+  [Usage guide](https://mqt.readthedocs.io/projects/bench/en/latest/usage.html)
 - **Parameterized and Mirror Circuits:** Easily generate parameterized circuits
   (with random or symbolic parameters) and mirror circuits for robust
   benchmarking and error detection.
-  [Quickstart](https://mqt.readthedocs.io/projects/bench/en/stable/quickstart.html)
+  [Quickstart](https://mqt.readthedocs.io/projects/bench/en/latest/quickstart.html)
 - **Export to Standard Formats:** Save generated circuits in OpenQASM 2,
   OpenQASM 3, and QPY formats for compatibility with other quantum tools.
-  [Output formats](https://mqt.readthedocs.io/projects/bench/en/stable/quickstart.html#output-formats)
+  [Output formats](https://mqt.readthedocs.io/projects/bench/en/latest/quickstart.html#output-formats)
 - **Extensible and Open Source:** Actively maintained, fully open-source, and
   designed for easy integration and extension within the quantum computing
   community.
@@ -101,7 +101,7 @@ To support this endeavor, please consider:
   requests
 - Citing the MQT in your publications (see [Cite This](#cite-this))
 - Citing our research in your publications (see
-  [References](https://mqt.readthedocs.io/projects/bench/en/stable/references.html))
+  [References](https://mqt.readthedocs.io/projects/bench/en/latest/references.html))
 - Using the MQT in research and teaching, and sharing feedback and use cases
 - Sponsoring us on GitHub: <https://github.com/sponsors/munich-quantum-toolkit>
 

UPGRADING.md

@@ -6,23 +6,20 @@ of changes including minor and patch releases, please refer to the
 
 ## [Unreleased]
 
-## [2.3.0]
+### Platform note
 
-### Qiskit 2.1 minimum
-
-The minimum Qiskit version increases from **2.0.0 to 2.1.0**, dropping support
-for Qiskit 2.0. Upgrade Qiskit to 2.1.0 or newer.
+Starting with this release, x86 macOS is no longer tested in CI; we cannot
+guarantee that MQT Bench installs and runs correctly on those systems.
 
 ### End of support for Python 3.10
 
 Starting with this release, MQT Bench no longer supports Python 3.10. As a
 result, MQT Bench is no longer tested under Python 3.10 and requires Python 3.11
 or later.
 
-### macOS support
+### Changed
 
-Starting with this release, x86 macOS is no longer tested in CI; we cannot
-guarantee that MQT Bench installs and runs correctly on those systems.
+- ⬆️ Increase minimum Qiskit version to 2.4.0 ([#930]) ([**@Felix-Gundlach**]),
 
 ## [2.2.0]
 
@@ -132,7 +129,7 @@ other Qiskit components.
 The `get_benchmark` function has been redesigned to provide a more modular and
 extensible way to retrieve benchmarks. As a consequence, the function signature
 has changed. Please see the
-[API documentation](https://mqt.readthedocs.io/projects/bench/en/stable/parameter.html)
+[API documentation](https://mqt.readthedocs.io/projects/bench/en/latest/parameter.html)
 for the updated function signature and the examples provided below.
 
 ```python
@@ -208,8 +205,7 @@ accordingly.
 
 <!-- Version links -->
 
-[unreleased]: https://github.com/munich-quantum-toolkit/bench/compare/v2.3.0...HEAD
-[2.3.0]: https://github.com/munich-quantum-toolkit/bench/compare/v2.2.3...v2.3.0
+[unreleased]: https://github.com/munich-quantum-toolkit/bench/compare/v2.2.1...HEAD
 [2.2.0]: https://github.com/munich-quantum-toolkit/bench/compare/v2.1.0...v2.2.0
 [2.1.0]: https://github.com/munich-quantum-toolkit/bench/compare/v2.0.1...v2.1.0
 [2.0.1]: https://github.com/munich-quantum-toolkit/bench/compare/v2.0.0...v2.0.1

docs/conf.py

@@ -67,7 +67,7 @@
     "python": ("https://docs.python.org/3", None),
     "typing_extensions": ("https://typing-extensions.readthedocs.io/en/latest/", None),
     "qiskit": ("https://docs.quantum.ibm.com/api/qiskit", None),
-    "mqt": ("https://mqt.readthedocs.io/en/stable/", None),
+    "mqt": ("https://mqt.readthedocs.io/en/latest/", None),
 }
 
 myst_enable_extensions = [

docs/contributing.md

@@ -316,31 +316,39 @@ The documentation is written in
 Markdown) and built using [Sphinx](https://www.sphinx-doc.org/en/master/). The
 documentation source files can be found in the {code}`docs/` directory.
 
-Tutorials use [MyST-NB](https://myst-nb.readthedocs.io/) Markdown notebooks.
-Only `{code-cell}` blocks in notebook pages execute; ordinary code fences are
-illustrative. Keep required setup visible, show useful output, and assert the
-behavior that each example demonstrates. Use local simulation for executable
-examples; leave credentials and remote-device deployment as configuration
-recipes.
+On top of the API documentation, we provide a set of tutorials and examples that
+demonstrate how to use the library. These are written in Markdown using
+[myst-nb](https://myst-nb.readthedocs.io/en/latest/), which allows executing
+Python code blocks in the documentation. The code blocks are executed during the
+documentation build process, and the output is included in the documentation.
+This allows us to provide up-to-date examples and tutorials that are guaranteed
+to work with the latest version of the library.
 
-Use the documentation session to install Python dependencies, build the package
-and generated references, and render the examples:
+You can build the documentation using the {code}`nox` session {code}`docs`.
 
 ```console
-uvx nox --non-interactive -s docs
+nox -s docs
 ```
 
-Install the project's native build requirements first. C++ API generation needs
-Doxygen; DD visualizations also need the Graphviz `dot` executable. The session
-manages Python packages, not these system tools.
+This will install all dependencies for building the documentation in an isolated
+environment, build the Python package, and then build the documentation. It will
+then host the documentation on a local web server for you to view.
 
-Omit `--non-interactive` to serve the documentation while editing. To check
-external links, run:
+:::{note}
+
+If you do not want to use {code}`nox`, you can also build the documentation
+directly using {code}`sphinx-build`. This requires that you have the project and
+its documentation dependencies installed in your virtual environment (e.g., by
+running {code}`uv sync`).
 
 ```console
-uvx nox --non-interactive -s docs -- -b linkcheck
+sphinx-build -b html docs/ docs/_build
 ```
 
+The docs can then be found in the {code}`docs/_build` directory.
+
+:::
+
 ## Tips for Development
 
 If something goes wrong, the CI pipeline will notify you. Here are some tips for

docs/parameter.md

@@ -56,6 +56,17 @@ print(get_available_device_names())
   they exist.
 - `generate_mirror_circuit`: Generate the mirror version (U @ U.inverse()) of
   the benchmark.
+- `encoding`: Error correction code applied to the output. Encoding of
+  non-transversal gates uses placeholders.
+
+Possible values for `encoding`:
+
+```text
+{code-cell} ipython3
+:tags: [hide-input]
+from mqt.bench.error_correction import get_available_encoding_names
+
+print(get_available_encoding_names())```
 
 ## Native Gate-Set Support
 

noxfile.py

@@ -114,7 +114,7 @@ def qiskit(session: nox.Session) -> None:
         session.run("uv", "pip", "show", "qiskit", env=env)
 
 
-@nox.session(python="3.14", reuse_venv=True)
+@nox.session(reuse_venv=True)
 def docs(session: nox.Session) -> None:
     """Build the docs. Use "--non-interactive" to avoid serving. Pass "-b linkcheck" to check links."""
     parser = argparse.ArgumentParser()