Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
341 workflow run results
341 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: move the core types to their own module (#627) Unsoundness checks #260: Commit ce15278 pushed by github-merge-queue bot
October 26, 2023 16:30 1h 5m 43s main
main
October 26, 2023 16:30 1h 5m 43s
feat!: expose the value of ConstUsize (#621) Unsoundness checks #259: Commit 46d5017 pushed by github-merge-queue bot
October 24, 2023 08:44 1h 8m 58s main
main
October 24, 2023 08:44 1h 8m 58s
refactor: simplify infer.rs/report_mismatch using early return (#615) Unsoundness checks #258: Commit 8395129 pushed by github-merge-queue bot
October 23, 2023 11:14 1h 11m 2s main
main
October 23, 2023 11:14 1h 11m 2s
refactor!: rename predicate to TupleSum/UnitSum (#557) Unsoundness checks #257: Commit bb446e2 pushed by github-merge-queue bot
October 23, 2023 08:50 1h 12m 34s main
main
October 23, 2023 08:50 1h 12m 34s
chore(deps)!: Update portgraph 0.10 and pyo3 0.20 (#612) Unsoundness checks #256: Commit 527cce5 pushed by github-merge-queue bot
October 20, 2023 10:44 31m 1s main
main
October 20, 2023 10:44 31m 1s
ci: Start checking conventional commit titles (#611) Unsoundness checks #255: Commit 7ed8550 pushed by github-merge-queue bot
October 19, 2023 10:21 26m 38s main
main
October 19, 2023 10:21 26m 38s
Replace API: add mu_new, tighten wellformedness (#607) Unsoundness checks #254: Commit 9195d15 pushed by github-merge-queue bot
October 16, 2023 16:24 36m 2s main
main
October 16, 2023 16:24 36m 2s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-13 or the other filters available.