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

feat: force-order qfree early and qalloc late. (#762) Unsoundness checks #477: Commit 68ef624 pushed by github-merge-queue bot
February 5, 2025 15:25 3m 37s main
main
February 5, 2025 15:25 3m 37s
chore: Run ci on all PRs (#764) Unsoundness checks #476: Commit 5fb1d75 pushed by github-merge-queue bot
February 5, 2025 10:53 18m 38s main
main
February 5, 2025 10:53 18m 38s
chore(deps-rs): bump the patch group with 2 updates (#760) Unsoundness checks #475: Commit fd1450c pushed by github-merge-queue bot
February 3, 2025 09:31 18m 53s main
main
February 3, 2025 09:31 18m 53s
fix: Use RemoveDeadFuncsPass instead of deprecated `remove_polyfunc… Unsoundness checks #474: Commit d59bdaa pushed by github-merge-queue bot
January 27, 2025 16:46 19m 57s main
main
January 27, 2025 16:46 19m 57s
chore(deps-rs): bump the patch group with 6 updates (#752) Unsoundness checks #473: Commit b5f5669 pushed by github-merge-queue bot
January 20, 2025 10:37 18m 56s main
main
January 20, 2025 10:37 18m 56s
ci(deps): bump astral-sh/setup-uv from 4 to 5 (#751) Unsoundness checks #472: Commit 1deb392 pushed by github-merge-queue bot
January 20, 2025 08:09 19m 20s main
main
January 20, 2025 08:09 19m 20s
feat(tket2-hseries): Add tket2.wasm extension (#737) Unsoundness checks #471: Commit 34bdc21 pushed by github-merge-queue bot
January 16, 2025 17:10 19m 59s main
main
January 16, 2025 17:10 19m 59s
chore(deps-rs): bump bytemuck from 1.20.0 to 1.21.0 in the minor grou… Unsoundness checks #470: Commit 0c0b238 pushed by github-merge-queue bot
January 13, 2025 15:06 18m 54s main
main
January 13, 2025 15:06 18m 54s
chore: release (#733) Unsoundness checks #469: Commit 19c99de pushed by github-merge-queue bot
January 10, 2025 17:50 20m 35s main
main
January 10, 2025 17:50 20m 35s
feat(tket2-hseries): Lazify more flavours of measure ops (#742) Unsoundness checks #468: Commit f83db21 pushed by github-merge-queue bot
January 10, 2025 17:40 10m 29s main
main
January 10, 2025 17:40 10m 29s
feat(tket2-hseries)!: Redefine QSystemOp::LazyMeasure and introduce… Unsoundness checks #467: Commit 1f126c0 pushed by github-merge-queue bot
January 10, 2025 17:09 18m 58s main
main
January 10, 2025 17:09 18m 58s
chore: devenv update (#744) Unsoundness checks #466: Commit 5a69e23 pushed by github-merge-queue bot
January 10, 2025 14:09 17m 59s main
main
January 10, 2025 14:09 17m 59s
fix: remove unicode pi symbols in rotation extension (#743) Unsoundness checks #465: Commit b3ed351 pushed by github-merge-queue bot
January 9, 2025 09:05 19m 42s main
main
January 9, 2025 09:05 19m 42s
chore(deps-rs): bump the patch group with 2 updates (#735) Unsoundness checks #464: Commit 0c6101b pushed by github-merge-queue bot
December 23, 2024 08:09 18m 6s main
main
December 23, 2024 08:09 18m 6s
chore: Drop viz_hugr test utils (#734) Unsoundness checks #463: Commit 5cf93af pushed by github-merge-queue bot
December 18, 2024 17:03 17m 13s main
main
December 18, 2024 17:03 17m 13s
chore: release v0.7.1 (#731) Unsoundness checks #462: Commit 51a1424 pushed by github-merge-queue bot
December 18, 2024 16:42 20m 48s main
main
December 18, 2024 16:42 20m 48s
chore: use MonomorphizationPass (#732) Unsoundness checks #461: Commit d581a8c pushed by github-merge-queue bot
December 18, 2024 16:24 17m 51s main
main
December 18, 2024 16:24 17m 51s
feat: Add monomorphization and constant folding to QSystemPass (#730) Unsoundness checks #460: Commit aafd73c pushed by github-merge-queue bot
December 17, 2024 16:15 18m 0s main
main
December 17, 2024 16:15 18m 0s
chore(py): release tket2-py 0.6.0 (#716) Unsoundness checks #459: Commit 95090a2 pushed by github-merge-queue bot
December 16, 2024 17:36 22m 46s main
main
December 16, 2024 17:36 22m 46s
chore(py): release tket2-eccs 0.3.0 (#659) Unsoundness checks #458: Commit 2cfb322 pushed by github-merge-queue bot
December 16, 2024 17:26 10m 10s main
main
December 16, 2024 17:26 10m 10s
chore(py): release tket2-exts 0.3.0 (#725) Unsoundness checks #457: Commit fed3416 pushed by github-merge-queue bot
December 16, 2024 17:17 9m 37s main
main
December 16, 2024 17:17 9m 37s
ci: Build wheels using the python's stable ABI (#726) Unsoundness checks #456: Commit 2a19f05 pushed by github-merge-queue bot
December 16, 2024 17:06 10m 55s main
main
December 16, 2024 17:06 10m 55s
chore: release v0.7.0 (#667) Unsoundness checks #455: Commit cc25105 pushed by github-merge-queue bot
December 16, 2024 16:55 11m 6s main
main
December 16, 2024 16:55 11m 6s
chore!: Update to next version of hugr (#720) Unsoundness checks #454: Commit 4a3a5a5 pushed by github-merge-queue bot
December 16, 2024 16:33 17m 43s main
main
December 16, 2024 16:33 17m 43s
chore(deps-rs): bump the patch group with 3 updates (#721) Unsoundness checks #453: Commit 9033daa pushed by github-merge-queue bot
December 16, 2024 10:22 29m 26s main
main
December 16, 2024 10:22 29m 26s