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: use MakeOpDef for int_ops (#724) Unsoundness checks #326: Commit 39599d8 pushed by github-merge-queue bot
December 1, 2023 11:28 20m 32s main
main
December 1, 2023 11:28 20m 32s
feat: getter for PolyFuncType::body (#727) Unsoundness checks #325: Commit 5e549f2 pushed by github-merge-queue bot
December 1, 2023 10:41 20m 55s main
main
December 1, 2023 10:41 20m 55s
feat: MakeRegisteredOp trait for easier registration (#726) Unsoundness checks #324: Commit 42d0197 pushed by github-merge-queue bot
November 30, 2023 16:44 19m 50s main
main
November 30, 2023 16:44 19m 50s
feat!: OpEnum trait for common opdef functionality (#721) Unsoundness checks #323: Commit 74ff7ff pushed by github-merge-queue bot
November 29, 2023 17:50 19m 59s main
main
November 29, 2023 17:50 19m 59s
refactor: remove Signature struct (#714) Unsoundness checks #322: Commit 2b81d6f pushed by github-merge-queue bot
November 28, 2023 08:58 20m 25s main
main
November 28, 2023 08:58 20m 25s
fix!: Add serde tag to TypeParam enum (#722) Unsoundness checks #321: Commit d00dc3f pushed by github-merge-queue bot
November 27, 2023 14:56 20m 30s main
main
November 27, 2023 14:56 20m 30s
fix: Use correct number of args for int ops (#723) Unsoundness checks #320: Commit b9b7edf pushed by github-merge-queue bot
November 27, 2023 14:49 20m 27s main
main
November 27, 2023 14:49 20m 27s
ci: Use sccache instead of rust-cache (#716) Unsoundness checks #319: Commit 592dd28 pushed by github-merge-queue bot
November 23, 2023 15:38 20m 1s main
main
November 23, 2023 15:38 20m 1s
feat!: Drop the pyo3 feature (#717) Unsoundness checks #318: Commit 954999d pushed by github-merge-queue bot
November 23, 2023 15:30 20m 6s main
main
November 23, 2023 15:30 20m 6s
refactor!: one way to add_op to extension (#704) Unsoundness checks #317: Commit 4ab6be4 pushed by github-merge-queue bot
November 23, 2023 15:02 19m 14s main
main
November 23, 2023 15:02 19m 14s
feat!: simplify SignatureFunc and add custom arg validation. (#706) Unsoundness checks #316: Commit c2df319 pushed by github-merge-queue bot
November 23, 2023 14:19 20m 41s main
main
November 23, 2023 14:19 20m 41s
ci: Fix incorrect coverage reported (#715) Unsoundness checks #315: Commit c52ed51 pushed by github-merge-queue bot
November 23, 2023 13:58 21m 44s main
main
November 23, 2023 13:58 21m 44s
fix: binary compute_signature returning a PolyFuncType with binders (… Unsoundness checks #314: Commit b7a5176 pushed by github-merge-queue bot
November 22, 2023 16:15 20m 33s main
main
November 22, 2023 16:15 20m 33s
feat: make FuncDecl/FuncDefn polymorphic (#692) Unsoundness checks #313: Commit 2f952ab pushed by github-merge-queue bot
November 21, 2023 17:10 18m 38s main
main
November 21, 2023 17:10 18m 38s
chore(deps): update itertools requirement from 0.11.0 to 0.12.0 (#705) Unsoundness checks #312: Commit a63487a pushed by github-merge-queue bot
November 21, 2023 12:35 19m 43s main
main
November 21, 2023 12:35 19m 43s
chore: devenv update + rust beta channel (#703) Unsoundness checks #311: Commit 93072ef pushed by github-merge-queue bot
November 20, 2023 13:38 18m 13s main
main
November 20, 2023 13:38 18m 13s
refactor: validate ExtensionRegistry when built, not as we build it (… Unsoundness checks #310: Commit 4a8d190 pushed by github-merge-queue bot
November 20, 2023 13:00 19m 45s main
main
November 20, 2023 13:00 19m 45s
fix: FuncDefns don't require that their extensions match their childr… Unsoundness checks #309: Commit 41e15da pushed by github-merge-queue bot
November 16, 2023 13:45 19m 2s main
main
November 16, 2023 13:45 19m 2s
refactor: Replace NodeType::signature() with io_extensions() (#700) Unsoundness checks #308: Commit 762839d pushed by github-merge-queue bot
November 16, 2023 10:48 18m 10s main
main
November 16, 2023 10:48 18m 10s
ci: Compare coverage using specific commit shas (#699) Unsoundness checks #307: Commit e7473f2 pushed by github-merge-queue bot
November 16, 2023 08:48 18m 56s main
main
November 16, 2023 08:48 18m 56s
refactor!: Rename new_linear() to new_endo(). (#697) Unsoundness checks #306: Commit 95f8808 pushed by github-merge-queue bot
November 16, 2023 08:37 19m 10s main
main
November 16, 2023 08:37 19m 10s
feat!: HugrView API improvements (#680) Unsoundness checks #305: Commit e943fdc pushed by github-merge-queue bot
November 15, 2023 18:00 18m 57s main
main
November 15, 2023 18:00 18m 57s
docs: Improve crate-level docs, including example code. (#698) Unsoundness checks #304: Commit 3938883 pushed by github-merge-queue bot
November 15, 2023 16:48 18m 28s main
main
November 15, 2023 16:48 18m 28s
docs: Remove "quantum extension" from HUGR spec. (#694) Unsoundness checks #303: Commit c261bea pushed by github-merge-queue bot
November 15, 2023 11:23 18m 38s main
main
November 15, 2023 11:23 18m 38s
fix: Serialise dynamically computed opaqueOp signatures (#690) Unsoundness checks #302: Commit d20bc74 pushed by github-merge-queue bot
November 14, 2023 19:47 17m 43s main
main
November 14, 2023 19:47 17m 43s