Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
180 workflow run results
180 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: Move extension inference tests to their own file (#687) Unsoundness checks #301: Commit 867af89 pushed by github-merge-queue bot
November 14, 2023 14:57 22m 12s main
main
November 14, 2023 14:57 22m 12s
refactor!: Flatten Prim(Type/Value) in to parent enum (#685) Unsoundness checks #300: Commit e791c0d pushed by github-merge-queue bot
November 14, 2023 11:44 18m 21s main
main
November 14, 2023 11:44 18m 21s
test: miri ignore file-opening test (#684) Unsoundness checks #299: Commit aa68c49 pushed by github-merge-queue bot
November 13, 2023 15:25 18m 42s main
main
November 13, 2023 15:25 18m 42s
refactor: use type schemes in extension definitions wherever possible… Unsoundness checks #298: Commit 201d1a2 pushed by github-merge-queue bot
November 13, 2023 14:08 18m 36s main
main
November 13, 2023 14:08 18m 36s
test: use insta snapshots to add dot_string coverage (#682) Unsoundness checks #297: Commit d32d033 pushed by github-merge-queue bot
November 13, 2023 12:44 17m 24s main
main
November 13, 2023 12:44 17m 24s
chore: drop debug prints (#681) Unsoundness checks #296: Commit 40dfcf3 pushed by github-merge-queue bot
November 13, 2023 11:15 39m 34s main
main
November 13, 2023 11:15 39m 34s
feat: shorthand for retrieving custom constants from Const, Value… Unsoundness checks #295: Commit 144e91f pushed by github-merge-queue bot
November 13, 2023 10:45 40m 4s main
main
November 13, 2023 10:45 40m 4s
chore: devenv support for local coverage (#677) Unsoundness checks #294: Commit 78faf6d pushed by github-merge-queue bot
November 10, 2023 13:45 19m 29s main
main
November 10, 2023 13:45 19m 29s
fix: actually add the error type to prelude (#672) Unsoundness checks #293: Commit b256c2b pushed by github-merge-queue bot
November 9, 2023 17:21 18m 18s main
main
November 9, 2023 17:21 18m 18s
ci: Use codecov's results for the coverage notification (#671) Unsoundness checks #292: Commit cb239e0 pushed by github-merge-queue bot
November 9, 2023 17:15 17m 46s main
main
November 9, 2023 17:15 17m 46s
refactor!: remove quantum extension (#670) Unsoundness checks #291: Commit cf933f6 pushed by github-merge-queue bot
November 9, 2023 12:05 33m 4s main
main
November 9, 2023 12:05 33m 4s
feat: make prelude error type public (#669) Unsoundness checks #290: Commit d0499ad pushed by github-merge-queue bot
November 9, 2023 11:04 18m 58s main
main
November 9, 2023 11:04 18m 58s
feat: polymorphic function types (inc OpDefs) using dyn trait (#630) Unsoundness checks #289: Commit ef8f4d3 pushed by github-merge-queue bot
November 8, 2023 23:19 45m 11s main
main
November 8, 2023 23:19 45m 11s
test!: Improve coverage in signature and validate (#643) Unsoundness checks #288: Commit 250f221 pushed by github-merge-queue bot
November 8, 2023 17:37 36m 42s main
main
November 8, 2023 17:37 36m 42s
feat: Require the node's metadata to always be a Map (#661) Unsoundness checks #287: Commit b71cae6 pushed by github-merge-queue bot
November 8, 2023 16:16 18m 9s main
main
November 8, 2023 16:16 18m 9s
feat: Provide+implement Replace API (#613) Unsoundness checks #286: Commit 9259797 pushed by github-merge-queue bot
November 8, 2023 14:26 17m 25s main
main
November 8, 2023 14:26 17m 25s
ci: Better name for the daily coverage notif workflow (#662) Unsoundness checks #285: Commit 061ec3e pushed by github-merge-queue bot
November 8, 2023 13:38 16m 10s main
main
November 8, 2023 13:38 16m 10s
test: strengthen "failing_sccs_test", rename to "sccs" as it's not fa… Unsoundness checks #284: Commit bf7a988 pushed by github-merge-queue bot
November 8, 2023 12:54 27m 27s main
main
November 8, 2023 12:54 27m 27s
refactor: rename accidentally-changed Extension::add_node_xxx back to… Unsoundness checks #283: Commit 5bcb185 pushed by github-merge-queue bot
November 8, 2023 10:38 39m 21s main
main
November 8, 2023 10:38 39m 21s
fix(Inference): Work harder in variable instantiation (#591) Unsoundness checks #282: Commit 2269161 pushed by github-merge-queue bot
November 8, 2023 09:37 15m 47s main
main
November 8, 2023 09:37 15m 47s
refactor: remove add_op_<posn> by generalizing add_node_<posn> with "… Unsoundness checks #281: Commit a6dee37 pushed by github-merge-queue bot
November 8, 2023 09:32 27m 57s main
main
November 8, 2023 09:32 27m 57s
feat: impl GraphRef for PetgraphWrapper (#651) Unsoundness checks #280: Commit a13b5ef pushed by github-merge-queue bot
November 7, 2023 13:54 14m 39s main
main
November 7, 2023 13:54 14m 39s
ci: Reorder test building and running to avoid double compilation. (#… Unsoundness checks #279: Commit 1fce927 pushed by github-merge-queue bot
November 7, 2023 12:46 18m 26s main
main
November 7, 2023 12:46 18m 26s