Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
224 workflow run results
224 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: insert_subgraph just return HashMap, make InsertionResult n… Unsoundness checks #253: Commit eddb508 pushed by github-merge-queue bot
October 16, 2023 15:00 27m 56s main
main
October 16, 2023 15:00 27m 56s
Make integer types equatable. (#606) Unsoundness checks #252: Commit 8922552 pushed by github-merge-queue bot
October 16, 2023 14:14 27m 54s main
main
October 16, 2023 14:14 27m 54s
feat: Add accessors for node index and const values (#605) Unsoundness checks #251: Commit 1fac65b pushed by github-merge-queue bot
October 16, 2023 09:51 33m 39s main
main
October 16, 2023 09:51 33m 39s
feat: resolve extension ops (mutating Hugr) in (infer_and_->)update_v… Unsoundness checks #250: Commit d411313 pushed by github-merge-queue bot
October 16, 2023 08:08 28m 47s main
main
October 16, 2023 08:08 28m 47s
spec: Rephrase confusing paragraph about TailLoop inputs/outputs (#567) Unsoundness checks #249: Commit b53510c pushed by github-merge-queue bot
October 16, 2023 08:02 30m 25s main
main
October 16, 2023 08:02 30m 25s
Refactor: remove check_custom_impl by inlining into check_custom (#604) Unsoundness checks #248: Commit 9f7ebfd pushed by github-merge-queue bot
October 13, 2023 14:43 18m 22s main
main
October 13, 2023 14:43 18m 22s
Resolve opaque ops during validation (no mutation) (#583) Unsoundness checks #247: Commit f394ad4 pushed by github-merge-queue bot
October 13, 2023 13:38 17m 18s main
main
October 13, 2023 13:38 17m 18s
feat: Move SimpleReplace::invalidation_set to the Rewrite trait (… Unsoundness checks #246: Commit 2c17ad6 pushed by github-merge-queue bot
October 13, 2023 12:11 34m 44s main
main
October 13, 2023 12:11 34m 44s
[Refactor] Tidy some CFG structuring code, require RootHandle=CfgID (… Unsoundness checks #245: Commit f570b97 pushed by github-merge-queue bot
October 13, 2023 08:28 25m 43s main
main
October 13, 2023 08:28 25m 43s
feat: Compute affected nodes for SimpleReplacement (#600) Unsoundness checks #244: Commit 9254ac7 pushed by github-merge-queue bot
October 11, 2023 14:17 33m 55s main
main
October 11, 2023 14:17 33m 55s
Update definition of Replace (and clarify SimpleReplace) (#596) Unsoundness checks #243: Commit 903350f pushed by github-merge-queue bot
October 11, 2023 14:10 39m 35s main
main
October 11, 2023 14:10 39m 35s
Add RootChecked to guarantee root node type (#548) Unsoundness checks #242: Commit 31736d3 pushed by github-merge-queue bot
October 10, 2023 12:10 38m 23s main
main
October 10, 2023 12:10 38m 23s
fix: enforce covariance of SiblingMut::RootHandle (#594) Unsoundness checks #241: Commit 23754fb pushed by github-merge-queue bot
October 9, 2023 13:08 18m 44s main
main
October 9, 2023 13:08 18m 44s
Transform CFGs into nested form (#247) Unsoundness checks #240: Commit 26a0aca pushed by github-merge-queue bot
October 6, 2023 16:27 26m 58s main
main
October 6, 2023 16:27 26m 58s
[chore] clippy updates - use Entry::or_default (#592) Unsoundness checks #239: Commit 375a6c8 pushed by github-merge-queue bot
October 6, 2023 08:08 25m 31s main
main
October 6, 2023 08:08 25m 31s
spec: Remove "Draft 3" from title of spec document. (#590) Unsoundness checks #238: Commit 09494f1 pushed by github-merge-queue bot
October 5, 2023 14:15 18m 52s main
main
October 5, 2023 14:15 18m 52s
fix: ignore input->output links in SiblingSubgraph::try_new_dataflow_… Unsoundness checks #237: Commit e119a99 pushed by github-merge-queue bot
October 5, 2023 12:14 18m 19s main
main
October 5, 2023 12:14 18m 19s
feat: Better subgraph verification errors (#587) Unsoundness checks #236: Commit 416a665 pushed by github-merge-queue bot
October 5, 2023 10:58 28m 15s main
main
October 5, 2023 10:58 28m 15s
chore: improve .dot debug API (#586) Unsoundness checks #235: Commit 9cb1f00 pushed by github-merge-queue bot
October 3, 2023 16:21 33m 37s main
main
October 3, 2023 16:21 33m 37s
feat: Extension inference for CFGs (#529) Unsoundness checks #234: Commit 44a64b6 pushed by github-merge-queue bot
October 3, 2023 14:18 19m 19s main
main
October 3, 2023 14:18 19m 19s
fix: Improve convexity checking and fix test (#585) Unsoundness checks #233: Commit e03a2ed pushed by github-merge-queue bot
October 2, 2023 15:16 27m 7s main
main
October 2, 2023 15:16 27m 7s
[new + bugfix] replace_op checks bound, adding HugrError::InvalidTag … Unsoundness checks #232: Commit bb09fd4 pushed by github-merge-queue bot
October 2, 2023 13:23 24m 7s main
main
October 2, 2023 13:23 24m 7s
feat: Optional direction check when querying a port index (#566) Unsoundness checks #231: Commit 554d658 pushed by github-merge-queue bot
September 29, 2023 16:10 23m 14s main
main
September 29, 2023 16:10 23m 14s
fix: Don't insert temporary wires when extracting a subgraph (#582) Unsoundness checks #230: Commit 0ce711b pushed by github-merge-queue bot
September 29, 2023 12:57 26m 1s main
main
September 29, 2023 12:57 26m 1s
[refactor] Remove never-called OpDef::instantiate_opaque (#584) Unsoundness checks #229: Commit 3e669cf pushed by github-merge-queue bot
September 29, 2023 12:52 29m 35s main
main
September 29, 2023 12:52 29m 35s