Update/docmain1.34 (#1638)

* Bump cachix/install-nix-action from 29 to 30 (#1606)

Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action) from 29 to 30.
- [Release notes](https://github.com/cachix/install-nix-action/releases)
- [Commits](cachix/install-nix-action@v29...v30)

---
updated-dependencies:
- dependency-name: cachix/install-nix-action
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

* Fix initialization of subcircuit in `GuidedPauliSimp` implementation (#1607)

* Update docs and changelog for 1.33.1 release. (#1612)

* fix: update wasm functions to accept `WasmModuleHandler` (#1613)

* Update macos CI runners (#1616)

* Fix default value of wire_comments. (#1618)

* docs: use theming submodule, update docs build and linking (#1609)

* remove quantinuum-sphinx

* add pytket-docs-theming submodule

* delete _static and conf.py

* ignore jupyter cache

* use myst-nb for code cells

* use latest theming commit

* ignore any generated .ipynb files

* add myst_nb dependency

* remove jupyter sphinx and autodoc annotations dependencies

* add build docs script

* fix formatting of display.md

* update docs build in build and test workflow

* remove pypi pytket installation

* Hardcode pytket version in flake.nix, as there is no longer a place in the source code that it's written down.

* ignore jupyter execute

* use latest pytket-docs-theming submodule

* update extensions links

* update sidebar heading for extensions

* update pypi page links

* update README links

* replace remaining docs links

* use latest theming commit

* use package-mode=false for poetry

* install a develop wheel of pytket

* try to fix poetry issue

* use poetry without .venv in C.I.

* run docs build from correct directory

* use latest docs theming update

* fix up some extensions links

* fix some broken links found by checker

* link to H-Series docs

* fix two more links

* fix typo

* latest theming (again)

* fix artifact path

* use extensions.html

* use original README link

* remove backends sentance

* use >= for poetry

---------

Co-authored-by: Jake Arkinstall <[email protected]>

* Support Python 3.13 (#1620)

* Bugfix/circuit renderer (#1614)

* add default min width/height to circuit renderer config

* update docs

* changelog

* Don't try to install pytket[ZX] with Python 3.13. (#1627)

* `ClExprOp` and friends (#1628)

* Set MacOS deployment target to 12 for x86. (#1633)

* Drop support for MacOS 12 (#1634)

* Updated nixpkgs. Added custom mypy build. (#1636)

* Updated nixpkgs. Added custom mypy build (required version isn't in nixpkgs)

* Used overrideAttrs on nixpkgs' mypy rather than a new derivation as per @johnchildren's suggestion

* Refactor greedy pauli simp (#1611)

* Initial refactor

* Refactor node types

* Move nodes definition into a new file

* Refactor synthesis

* Cleanup

* More refactoring

* Refactor pauli graph converters

* Initial implementation of GPGraph

* Migrate to GPGraph

* Ignore global phase

* Add supports for conditional gates

* Add support for classical ops

* flatten_registers should only rename qubits and bits

* Replace unsigned with Bit

* Revert "Replace unsigned with Bit"

This reverts commit 9e9a2fd.

* Manually check if qubits and bits can be flattened since ``is_simple()`` doesn't work with wasm

* Consistent enum names

* Add support for mid-circuit measurement

* Rename variables

* Add support for resets

* Update docstrings

* Update pass predicate

* Add more tests

* bump tket version

* Add changelog entry

* Fix docs errors

* bump tket version

* Remove unused headers

* bump tket version in pytket

* uncomment lines

* remove consts in SQ_CLIFF_DAGGER

* Merging conditionals

* Revert "Merging conditionals"

This reverts commit f5138f1.

* Optimise conditional handling

* remove ConditionalPauliRotation

* Remove clifford reduction and pass parameters when synthesis conditionals

* Seeded tie breaking

* Add limits to the search space

* Allowing ZZPhase gates

* update binder and serialisation

* Add test for ops handling in python

* add note for AC node cost

* bump tket version

* update changelog

* fix changelog format

* add missing prams in docstrings

* cast size_t to unsigned

* remove nondeterminism from test

* Remove more nondeterminism

* regen stubs

* Add debug info

* Revert "Add debug info"

This reverts commit e5030e2.

* Replace implicit wire swaps in optimised conditional circuits

* re-organise changelog

* Bump tket version

* fix bug in sign correction

* Add more tests

* Bump version and update changelog for 1.34.0 release (#1637)

---------

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Alec Edgington <[email protected]>
Co-authored-by: Kartik Singhal <[email protected]>
Co-authored-by: Jake Arkinstall <[email protected]>
Co-authored-by: Tiffany Duneau <[email protected]>
Co-authored-by: yao-cqc <[email protected]>

.github/workflows/build-with-nix.yml

@@ -16,11 +16,11 @@ jobs:
   build_and_test:
     strategy:
       matrix:
-        os: ['ubuntu-24.04', 'macos-14']
+        os: ['ubuntu-24.04', 'macos-15']
     runs-on: ${{matrix.os}}
     steps:
     - uses: actions/checkout@v4
-    - uses: cachix/install-nix-action@v29
+    - uses: cachix/install-nix-action@v30
     - uses: cachix/cachix-action@v15
       with:
         name: tket

.github/workflows/build_and_test.yml

@@ -82,7 +82,7 @@ jobs:
     name: Check C++ code formatting
     needs: check_changes
     if: needs.check_changes.outputs.tket_or_workflow_changed == 'true'
-    runs-on: 'macos-14'
+    runs-on: 'macos-15'
     steps:
       - uses: actions/checkout@v4
       - name: Check C++ code formatting
@@ -98,7 +98,7 @@ jobs:
     if: needs.check_changes.outputs.tket_or_workflow_changed == 'true'
     strategy:
       matrix:
-        os: ['ubuntu-24.04', 'macos-12', 'macos-14']
+        os: ['ubuntu-24.04', 'macos-13', 'macos-15']
     runs-on: ${{ matrix.os }}
     steps:
     - uses: actions/checkout@v4
@@ -286,11 +286,15 @@ jobs:
       if: github.event_name == 'schedule'
       uses: actions/setup-python@v5
       with:
-        python-version: '3.12'
+        python-version: '3.13'
     - name: Build pytket
       run: |
         cd pytket
-        pip install -e .[ZX] -v
+        if python --version | grep -q '3.13' ; then
+          pip install -e . -v
+        else
+          pip install -e .[ZX] -v
+        fi
     - name: Run doctests
       run: |
         cd pytket
@@ -341,7 +345,7 @@ jobs:
     if: needs.check_changes.outputs.tket_or_workflow_changed == 'true' || needs.check_changes.outputs.pytket_or_workflow_changed == 'true'
     strategy:
       matrix:
-        os: ['macos-12', 'macos-14']
+        os: ['macos-13', 'macos-15']
     runs-on: ${{ matrix.os }}
     steps:
     - uses: actions/checkout@v4
@@ -362,7 +366,7 @@ jobs:
     - name: ccache
       uses: hendrikmuhs/[email protected]
       with:
-        key: tket-dynamic-macos-12
+        key: tket-dynamic-macos
     - name: further ccache config
       run: |
         ccache --set-config base_dir=${HOME}
@@ -399,11 +403,15 @@ jobs:
       if: github.event_name == 'schedule'
       uses: actions/setup-python@v5
       with:
-        python-version: '3.12'
+        python-version: '3.13'
     - name: Build pytket
       run: |
         cd pytket
-        python -m pip install -e .[ZX] -v
+        if python --version | grep -q '3.13' ; then
+          pip install -e . -v
+        else
+          pip install -e .[ZX] -v
+        fi
     - name: Run doctests
       run: |
         cd pytket
@@ -415,7 +423,7 @@ jobs:
         python -m pip install -r requirements.txt
         python -m pytest --ignore=simulator/
     - name: Check type stubs are up-to-date and run mypy
-      if: matrix.os == 'macos-14' && (github.event_name == 'pull_request' || github.event_name == 'workflow_dispatch')
+      if: matrix.os == 'macos-15' && (github.event_name == 'pull_request' || github.event_name == 'workflow_dispatch')
       run: |
         python -m pip install -U mypy pybind11-stubgen
         cd pytket
@@ -527,11 +535,16 @@ jobs:
       if: github.event_name == 'schedule'
       uses: actions/setup-python@v5
       with:
-        python-version: '3.12'
+        python-version: '3.13'
     - name: Build pytket
+      shell: bash
       run: |
         cd pytket
-        pip install -e .[ZX] -v
+        if python --version | grep -q '3.13' ; then
+          pip install -e . -v
+        else
+          pip install -e .[ZX] -v
+        fi
     - name: Run doctests
       run: |
         cd pytket

.github/workflows/build_libs.yml

@@ -46,7 +46,7 @@ jobs:
     if: ${{ needs.changes.outputs.libs != '[]' && needs.changes.outputs.libs != '' }}
     strategy:
       matrix:
-        os: ['ubuntu-24.04', 'macos-12', 'windows-2022', 'macos-14']
+        os: ['ubuntu-24.04', 'macos-13', 'macos-15', 'windows-2022']
         lib: ${{ fromJson(needs.changes.outputs.libs) }}
         build_type: ['Release', 'Debug']
     runs-on: ${{ matrix.os }}

.github/workflows/packages.yml

@@ -17,7 +17,7 @@ jobs:
     name: Build
     strategy:
       matrix:
-        os: ['ubuntu-24.04', 'macos-12', 'windows-2022', 'macos-14']
+        os: ['ubuntu-24.04', 'macos-13', 'macos-14', 'macos-15', 'windows-2022']
     runs-on: ${{ matrix.os }}
     steps:
 

.github/workflows/pytket_benchmarking.yml

@@ -30,7 +30,7 @@ jobs:
       run: |
         conan profile detect
         DEFAULT_PROFILE_PATH=`conan profile path default`
-        PROFILE_PATH=./conan-profiles/macos-14
+        PROFILE_PATH=./conan-profiles/macos-15
         diff ${DEFAULT_PROFILE_PATH} ${PROFILE_PATH} || true
         cp ${PROFILE_PATH} ${DEFAULT_PROFILE_PATH}
         conan remote add tket-libs https://quantinuumsw.jfrog.io/artifactory/api/conan/tket1-libs --index 0
@@ -57,7 +57,7 @@ jobs:
 
   compile-and-compare:
     name: Compile and compare
-    runs-on: macos-14
+    runs-on: macos-15
     needs: build_wheels
 
     steps:

.github/workflows/release.yml

@@ -14,7 +14,7 @@ jobs:
     runs-on: ubuntu-24.04
     strategy:
       matrix:
-        python3-version: ['10', '11', '12']
+        python3-version: ['10', '11', '12', '13']
     steps:
     - uses: actions/checkout@v4
       with:
@@ -41,7 +41,7 @@ jobs:
     runs-on: 'buildjet-8vcpu-ubuntu-2204-arm'
     strategy:
       matrix:
-        python3-version: ['10', '11', '12']
+        python3-version: ['10', '11', '12', '13']
     steps:
     - uses: actions/checkout@v4
       with:
@@ -64,10 +64,10 @@ jobs:
 
   build_macos_x86_wheels:
     name: Build macos x86 wheels
-    runs-on: macos-12
+    runs-on: macos-13
     strategy:
       matrix:
-        python-version: ['3.10', '3.11', '3.12']
+        python-version: ['3.10', '3.11', '3.12', '3.13']
     steps:
     - uses: actions/checkout@v4
       with:
@@ -83,7 +83,7 @@ jobs:
       run: |
         conan profile detect
         DEFAULT_PROFILE_PATH=`conan profile path default`
-        PROFILE_PATH=./conan-profiles/macos-12
+        PROFILE_PATH=./conan-profiles/macos-13
         diff ${DEFAULT_PROFILE_PATH} ${PROFILE_PATH} || true
         cp ${PROFILE_PATH} ${DEFAULT_PROFILE_PATH}
         conan remote add tket-libs https://quantinuumsw.jfrog.io/artifactory/api/conan/tket1-libs --index 0
@@ -94,8 +94,8 @@ jobs:
         conan create recipes/pybind11
         conan create recipes/pybind11_json/all --version 0.2.14
         cd pytket
-        # Ensure wheels are compatible with MacOS 12.0 and later:
-        export WHEEL_PLAT_NAME=macosx_12_0_x86_64
+        # Ensure wheels are compatible with MacOS 13.0 and later:
+        export WHEEL_PLAT_NAME=macosx_13_0_x86_64
         pip install -U pip build delocate
         python -m build
         delocate-wheel -v -w "$GITHUB_WORKSPACE/wheelhouse/" "dist/pytket-"*".whl"
@@ -106,12 +106,12 @@ jobs:
 
   build_macos_arm64_wheels:
     name: Build macos arm64 wheels
-    runs-on: macos-14
+    runs-on: macos-15
     env:
-        MACOSX_DEPLOYMENT_TARGET: '12.0'
+        MACOSX_DEPLOYMENT_TARGET: '13.0'
     strategy:
       matrix:
-        python-version: ['3.10', '3.11', '3.12']
+        python-version: ['3.10', '3.11', '3.12', '3.13']
     steps:
     - uses: actions/checkout@v4
       with:
@@ -127,7 +127,7 @@ jobs:
       run: |
         conan profile detect
         DEFAULT_PROFILE_PATH=`conan profile path default`
-        PROFILE_PATH=./conan-profiles/macos-14
+        PROFILE_PATH=./conan-profiles/macos-15
         diff ${DEFAULT_PROFILE_PATH} ${PROFILE_PATH} || true
         cp ${PROFILE_PATH} ${DEFAULT_PROFILE_PATH}
         conan remote add tket-libs https://quantinuumsw.jfrog.io/artifactory/api/conan/tket1-libs --index 0
@@ -138,8 +138,8 @@ jobs:
         conan create recipes/pybind11
         conan create recipes/pybind11_json/all --version 0.2.14
         cd pytket
-        # Ensure wheels are compatible with MacOS 12.0 and later:
-        export WHEEL_PLAT_NAME=macosx_12_0_arm64
+        # Ensure wheels are compatible with MacOS 13.0 and later:
+        export WHEEL_PLAT_NAME=macosx_13_0_arm64
         python${{ matrix.python-version }} -m pip install -U pip build delocate
         python${{ matrix.python-version }} -m build
         delocate-wheel -v -w "$GITHUB_WORKSPACE/wheelhouse/" "dist/pytket-"*".whl"
@@ -153,7 +153,7 @@ jobs:
     runs-on: windows-2022
     strategy:
       matrix:
-        python-version: ['3.10', '3.11', '3.12']
+        python-version: ['3.10', '3.11', '3.12', '3.13']
     steps:
     - uses: actions/checkout@v4
       with:
@@ -194,7 +194,7 @@ jobs:
     runs-on: ubuntu-24.04
     strategy:
       matrix:
-        python3-version: ['10', '11', '12']
+        python3-version: ['10', '11', '12', '13']
     steps:
       - name: Set up Python 3.${{ matrix.python3-version }}
         uses: actions/setup-python@v5
@@ -223,18 +223,13 @@ jobs:
     runs-on: 'buildjet-4vcpu-ubuntu-2204-arm'
     strategy:
       matrix:
-        python3-version: ['10', '11', '12']
+        python3-version: ['10', '11', '12', '13']
     steps:
     - uses: actions/checkout@v4
       with:
         path: tket
     - name: Set up Python 3.${{ matrix.python3-version }}
-      # Use deadsnakes/action because Python for Linux/ARM is not available with
-      # actions/setup-python.
-      # Python 3.10 is the default python on Ubuntu 22.04, so this combination
-      # is not available from deadsnakes: use the default python in this case.
-      if: matrix.python3-version != '10'
-      uses: deadsnakes/[email protected]
+      uses: actions/setup-python@v5
       with:
         python-version: "3.${{ matrix.python3-version }}"
     - name: Download wheel
@@ -259,8 +254,8 @@ jobs:
     needs: build_macos_x86_wheels
     strategy:
       matrix:
-        os: ['macos-12', 'macos-13']
-        python-version: ['3.10', '3.11', '3.12']
+        os: ['macos-13']
+        python-version: ['3.10', '3.11', '3.12', '3.13']
     runs-on: ${{ matrix.os }}
     steps:
     - name: Set up Python ${{ matrix.python-version }}
@@ -289,8 +284,8 @@ jobs:
     needs: build_macos_arm64_wheels
     strategy:
       matrix:
-        os: ['macos-13-xlarge', 'macos-14']
-        python-version: ['3.10', '3.11', '3.12']
+        os: ['macos-14', 'macos-15']
+        python-version: ['3.10', '3.11', '3.12', '3.13']
     runs-on: ${{ matrix.os }}
     steps:
     - name: Set up Python ${{ matrix.python-version }}
@@ -320,7 +315,7 @@ jobs:
     runs-on: windows-2022
     strategy:
       matrix:
-        python-version: ['3.10', '3.11', '3.12']
+        python-version: ['3.10', '3.11', '3.12', '3.13']
     steps:
     - name: Set up Python ${{ matrix.python-version }}
       uses: actions/setup-python@v5

.github/workflows/test_libs.yml

@@ -63,7 +63,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: ['ubuntu-24.04', 'macos-12', 'windows-2022', 'macos-14']
+        os: ['ubuntu-24.04', 'macos-13', 'macos-15', 'windows-2022']
         lib: ${{ fromJson(needs.set_libs_matrix.outputs.libs) }}
     runs-on: ${{ matrix.os }}
     steps:

.github/workflows/test_libs_all.yml

@@ -10,7 +10,7 @@ jobs:
     name: test library
     strategy:
       matrix:
-        os: ['ubuntu-24.04', 'macos-12', 'windows-2022', 'macos-14']
+        os: ['ubuntu-24.04', 'macos-13', 'macos-15', 'windows-2022']
         lib: ['tklog', 'tkassert', 'tkrng', 'tktokenswap', 'tkwsm']
     runs-on: ${{ matrix.os }}
     steps:

README.md

@@ -72,9 +72,9 @@ depend on the features they support. The compiler version can be controlled by
 setting `CC` and `CXX` in your environment (e.g. `CC=gcc-11` and `CXX=g++-11`),
 or on Debian-based Linux systems using `update-alternatives`.
 
-You should also have Python (3.10, 3.11 or 3.12) and `pip` installed. We use
-`cmake` and the package manager `conan` to build tket and pytket. The latter can
-be installed with `pip`:
+You should also have Python (3.10, 3.11, 3.12 or 3.13) and `pip` installed. We
+use `cmake` and the package manager `conan` to build tket and pytket. The latter
+can be installed with `pip`:
 
 ```shell
 pip install conan

conan-profiles/macos-13

@@ -0,0 +1,8 @@
+[settings]
+arch=x86_64
+build_type=Release
+compiler=apple-clang
+compiler.cppstd=gnu17
+compiler.libcxx=libc++
+compiler.version=15
+os=Macos

conan-profiles/macos-15

@@ -0,0 +1,8 @@
+[settings]
+arch=armv8
+build_type=Release
+compiler=apple-clang
+compiler.cppstd=gnu17
+compiler.libcxx=libc++
+compiler.version=16
+os=Macos

flake.nix

@@ -17,7 +17,7 @@
             (import ./nix-support/symengine.nix)
             (import ./nix-support/tket.nix)
             (import ./nix-support/third-party-python-packages.nix)
-            (import ./nix-support/pytket.nix { package_version = "1.33.0"; })
+            (import ./nix-support/pytket.nix { package_version = "1.34.0"; })
           ];
         };
       in {