Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
110 workflow run results
110 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor!: unwrap BasicBlock enum (#781) Unsoundness checks #351: Commit b680662 pushed by github-merge-queue bot
January 5, 2024 11:22 27m 19s main
main
January 5, 2024 11:22 27m 19s
feat: constant folding for arithmetic conversion operations (#720) Unsoundness checks #350: Commit 968c8b0 pushed by github-merge-queue bot
January 3, 2024 15:14 26m 37s main
main
January 3, 2024 15:14 26m 37s
refactor: simplify removeconstignore verify (#768) Unsoundness checks #349: Commit cf69e01 pushed by github-merge-queue bot
January 3, 2024 14:26 26m 13s main
main
January 3, 2024 14:26 26m 13s
refactor: avoid dynamic dispatch for non-folding operations (#770) Unsoundness checks #348: Commit b019fa3 pushed by github-merge-queue bot
January 3, 2024 14:13 26m 12s main
main
January 3, 2024 14:13 26m 12s
feat: constant folding implemented for core and float extension (#769) Unsoundness checks #347: Commit 23987a0 pushed by github-merge-queue bot
January 3, 2024 12:42 26m 54s main
main
January 3, 2024 12:42 26m 54s
feat: implement RemoveConst and RemoveConstIgnore (#757) Unsoundness checks #346: Commit d5e7d63 pushed by github-merge-queue bot
January 3, 2024 11:37 26m 41s main
main
January 3, 2024 11:37 26m 41s
ci: Setup release-plz and related files (#765) Unsoundness checks #345: Commit 7f749e8 pushed by github-merge-queue bot
January 3, 2024 11:14 25m 56s main
main
January 3, 2024 11:14 25m 56s
chore: remove rustversion (#764) Unsoundness checks #344: Commit afa896b pushed by github-merge-queue bot
January 3, 2024 11:11 26m 9s main
main
January 3, 2024 11:11 26m 9s
docs: [spec] Remove references to causal cone and Order edges from In… Unsoundness checks #343: Commit f522552 pushed by github-merge-queue bot
January 3, 2024 10:55 26m 37s main
main
January 3, 2024 10:55 26m 37s
docs: Spec updates (#741) Unsoundness checks #342: Commit 198f221 pushed by github-merge-queue bot
January 3, 2024 09:13 26m 4s main
main
January 3, 2024 09:13 26m 4s
docs: Spec clarifications (#738) Unsoundness checks #341: Commit 2e263c6 pushed by github-merge-queue bot
January 3, 2024 09:11 26m 36s main
main
January 3, 2024 09:11 26m 36s
chore!: hike MSRV to 1.75 (#761) Unsoundness checks #340: Commit 0edee65 pushed by github-merge-queue bot
January 2, 2024 09:54 25m 56s main
main
January 2, 2024 09:54 25m 56s
chore(deps): update delegate requirement from 0.11.0 to 0.12.0 (#760) Unsoundness checks #339: Commit 4607d64 pushed by github-merge-queue bot
January 2, 2024 08:55 25m 57s main
main
January 2, 2024 08:55 25m 57s
feat: Custom const for ERROR_TYPE (#756) Unsoundness checks #338: Commit 1ed42e9 pushed by github-merge-queue bot
December 22, 2023 13:32 27m 2s main
main
December 22, 2023 13:32 27m 2s
refactor!: use enum op traits for floats + conversions (#755) Unsoundness checks #337: Commit 0bcab0a pushed by github-merge-queue bot
December 21, 2023 18:37 25m 57s main
main
December 21, 2023 18:37 25m 57s
fix: case node should not have an external signature (#749) Unsoundness checks #336: Commit 268f120 pushed by github-merge-queue bot
December 20, 2023 13:50 25m 49s main
main
December 20, 2023 13:50 25m 49s
chore(deps): bump dawidd6/action-download-artifact from 2 to 3 (#752) Unsoundness checks #335: Commit 056ea17 pushed by github-merge-queue bot
December 20, 2023 12:35 26m 56s main
main
December 20, 2023 12:35 26m 56s
docs: spec cleanups and clarifications (#742) Unsoundness checks #334: Commit bd0dcbe pushed by github-merge-queue bot
December 15, 2023 12:50 26m 49s main
main
December 15, 2023 12:50 26m 49s
feat!: use ConvexChecker trait (#740) Unsoundness checks #333: Commit 4b11a24 pushed by github-merge-queue bot
December 14, 2023 14:35 25m 47s main
main
December 14, 2023 14:35 25m 47s
feat: Values (and hence Consts) know their extensions (#733) Unsoundness checks #332: Commit 679eefc pushed by github-merge-queue bot
December 12, 2023 13:03 27m 34s main
main
December 12, 2023 13:03 27m 34s
chore(deps): update delegate requirement from 0.10.0 to 0.11.0 (#736) Unsoundness checks #331: Commit c0d61c7 pushed by github-merge-queue bot
December 11, 2023 10:28 26m 46s main
main
December 11, 2023 10:28 26m 46s
fix: Allow widening and narrowing to same width. (#735) Unsoundness checks #330: Commit 2efcfb3 pushed by github-merge-queue bot
December 4, 2023 10:12 27m 4s main
main
December 4, 2023 10:12 27m 4s
feat: Always require a signature in OpaqueOp (#732) Unsoundness checks #329: Commit 6959c89 pushed by github-merge-queue bot
December 1, 2023 16:55 20m 6s main
main
December 1, 2023 16:55 20m 6s
test: Unify the serialisation tests (#730) Unsoundness checks #328: Commit aede3bc pushed by github-merge-queue bot
December 1, 2023 16:31 19m 56s main
main
December 1, 2023 16:31 19m 56s
feat: Into<OpType> for custom ops (#731) Unsoundness checks #327: Commit a69246b pushed by github-merge-queue bot
December 1, 2023 15:00 20m 9s main
main
December 1, 2023 15:00 20m 9s