Skip to content

Actions: CQCL/tket2

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
330 workflow runs
330 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: devenv update (#643) Unsoundness checks #402: Commit 0d8c392 pushed by github-merge-queue bot
October 9, 2024 12:31 17m 25s main
main
October 9, 2024 12:31 17m 25s
feat: Add tket2.rotation.from_halfturns_unchecked op (#640) Unsoundness checks #401: Commit 86ffe64 pushed by github-merge-queue bot
October 8, 2024 10:57 15m 40s main
main
October 8, 2024 10:57 15m 40s
chore(deps-rs): bump clap from 4.5.18 to 4.5.19 in the patch group (#… Unsoundness checks #400: Commit 2cf79fd pushed by github-merge-queue bot
October 7, 2024 07:51 17m 42s main
main
October 7, 2024 07:51 17m 42s
ci: Use setup-uv action (#638) Unsoundness checks #399: Commit 2027a3b pushed by github-merge-queue bot
October 4, 2024 10:46 17m 8s main
main
October 4, 2024 10:46 17m 8s
chore(py): release tket2-py 0.4.0 (#594) Unsoundness checks #398: Commit ed18752 pushed by github-merge-queue bot
October 3, 2024 08:57 16m 4s main
main
October 3, 2024 08:57 16m 4s
feat(badger): cx and rz const functions and strategies for `Lexic… Unsoundness checks #397: Commit 83ebfcb pushed by github-merge-queue bot
October 1, 2024 14:10 16m 38s main
main
October 1, 2024 14:10 16m 38s
chore: release v0.5.0 (#617) Unsoundness checks #396: Commit 295b0df pushed by github-merge-queue bot
October 1, 2024 12:12 16m 43s main
main
October 1, 2024 12:12 16m 43s
chore!: Replace thiserror with derive_more 1.0 (#624) Unsoundness checks #395: Commit 2250ce7 pushed by github-merge-queue bot
September 30, 2024 14:47 16m 43s main
main
September 30, 2024 14:47 16m 43s
fix: Support hugr packages, fix the notebooks (#622) Unsoundness checks #394: Commit 1cf9dcb pushed by github-merge-queue bot
September 30, 2024 10:25 21m 31s main
main
September 30, 2024 10:25 21m 31s
ci(deps): bump mozilla-actions/sccache-action from 0.0.5 to 0.0.6 (#623) Unsoundness checks #393: Commit 5ec193d pushed by github-merge-queue bot
September 30, 2024 10:14 11m 27s main
main
September 30, 2024 10:14 11m 27s
feat: Support encoding float and sympy ops (#618) Unsoundness checks #392: Commit 74dcbf7 pushed by github-merge-queue bot
September 25, 2024 09:29 15m 46s main
main
September 25, 2024 09:29 15m 46s
feat: Add an explicit struct for the tket2 sympy op (#616) Unsoundness checks #391: Commit 6126f10 pushed by github-merge-queue bot
September 23, 2024 13:02 15m 39s main
main
September 23, 2024 13:02 15m 39s
chore: release v0.4.0 (#603) Unsoundness checks #390: Commit a71d31f pushed by github-merge-queue bot
September 16, 2024 11:50 15m 40s main
main
September 16, 2024 11:50 15m 40s
feat!: simplify angle extension in to a half turns rotation type (#611) Unsoundness checks #389: Commit 0723937 pushed by github-merge-queue bot
September 16, 2024 10:42 16m 12s main
main
September 16, 2024 10:42 16m 12s
fix: Fix broken ConstAngle::TAU (#609) Unsoundness checks #388: Commit 86972f8 pushed by github-merge-queue bot
September 12, 2024 09:55 14m 13s main
main
September 12, 2024 09:55 14m 13s
fix: angle type docstring to say 2pi (#607) Unsoundness checks #387: Commit 8d7a90b pushed by github-merge-queue bot
September 10, 2024 08:49 12m 14s main
main
September 10, 2024 08:49 12m 14s
feat!: HSeriesPass lowers Tk2Ops into HSeriesOps (#602) Unsoundness checks #386: Commit ccc3591 pushed by github-merge-queue bot
September 9, 2024 14:20 12m 19s main
main
September 9, 2024 14:20 12m 19s
chore: release v0.3.0 (#595) Unsoundness checks #385: Commit d90b815 pushed by github-merge-queue bot
September 9, 2024 12:47 11m 59s main
main
September 9, 2024 12:47 11m 59s
feat(tket2-hseries): cli extension dumping (#584) Unsoundness checks #384: Commit abf292f pushed by github-merge-queue bot
September 9, 2024 12:21 11m 41s main
main
September 9, 2024 12:21 11m 41s
chore(deps-rs): bump the patch group with 3 updates (#599) Unsoundness checks #383: Commit d9deacb pushed by github-merge-queue bot
September 9, 2024 08:08 11m 18s main
main
September 9, 2024 08:08 11m 18s
chore(deps-rs): bump the minor group with 2 updates (#600) Unsoundness checks #382: Commit 58e1626 pushed by github-merge-queue bot
September 9, 2024 07:34 11m 29s main
main
September 9, 2024 07:34 11m 29s
feat: lowering tk2ops -> hseriesops (#579) Unsoundness checks #381: Commit 7ac0206 pushed by github-merge-queue bot
September 6, 2024 13:25 11m 19s main
main
September 6, 2024 13:25 11m 19s
feat: dataflow builder methods for angle ops (#596) Unsoundness checks #380: Commit dcc562d pushed by github-merge-queue bot
September 6, 2024 10:39 9m 5s main
main
September 6, 2024 10:39 9m 5s
fix: don't load angle extensions on to quantum (#597) Unsoundness checks #379: Commit dd9592f pushed by github-merge-queue bot
September 5, 2024 16:17 9m 24s main
main
September 5, 2024 16:17 9m 24s
fix!: remove TryFrom for extension ops use cast (#592) Unsoundness checks #378: Commit 5ca29af pushed by github-merge-queue bot
September 5, 2024 13:54 9m 23s main
main
September 5, 2024 13:54 9m 23s