Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
92 workflow run results
92 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix!: Normalize input/output value/static/other ports in OpType (#783) Unsoundness checks #353: Commit a8f6254 pushed by github-merge-queue bot
January 8, 2024 10:58 26m 22s main
main
January 8, 2024 10:58 26m 22s
refactor: make clear const folding only for leaf ops (#785) Unsoundness checks #352: Commit ca07831 pushed by github-merge-queue bot
January 8, 2024 10:41 25m 36s main
main
January 8, 2024 10:41 25m 36s
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