Skip to content

Actions: CQCL/hugr

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
589 workflow run results
589 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
December 1, 2023 15:00 20m 9s
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
November 16, 2023 10:48 18m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-11-16 or the other filters available.