Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
526 workflow run results
526 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(hugr-py)!: user facing Extension class (#1413) Unsoundness checks #735: Commit c6473c9 pushed by github-merge-queue bot
August 14, 2024 12:08 39m 13s main
main
August 14, 2024 12:08 39m 13s
fix: Equality check between Sum types (#1422) Unsoundness checks #734: Commit 8dfea09 pushed by github-merge-queue bot
August 13, 2024 14:17 35m 36s main
main
August 13, 2024 14:17 35m 36s
chore(deps): update derive_more requirement from 0.99.17 to 1.0.0 (#1… Unsoundness checks #733: Commit 3bf968f pushed by github-merge-queue bot
August 13, 2024 09:36 37m 13s main
main
August 13, 2024 09:36 37m 13s
chore(main): release hugr-py 0.6.0 (#1379) Unsoundness checks #732: Commit 937883d pushed by github-merge-queue bot
August 12, 2024 16:34 35m 14s main
main
August 12, 2024 16:34 35m 14s
feat(py): Parametric int type helper, and arbitrary width int constan… Unsoundness checks #731: Commit abd70c9 pushed by github-merge-queue bot
August 12, 2024 16:10 23m 34s main
main
August 12, 2024 16:10 23m 34s
feat(py): Allow pre-declaring a Function's output types (#1417) Unsoundness checks #730: Commit fa0f5a4 pushed by github-merge-queue bot
August 12, 2024 15:58 12m 19s main
main
August 12, 2024 15:58 12m 19s
chore: release (#1376) Unsoundness checks #729: Commit 8054c28 pushed by github-merge-queue bot
August 12, 2024 14:44 36m 29s main
main
August 12, 2024 14:44 36m 29s
feat: Improve error message on failed custom op validation (#1416) Unsoundness checks #728: Commit 6639c52 pushed by github-merge-queue bot
August 12, 2024 13:53 32m 26s main
main
August 12, 2024 13:53 32m 26s
fix(py): Set output cont for Conditionals (#1415) Unsoundness checks #727: Commit 67bb8a0 pushed by github-merge-queue bot
August 12, 2024 12:05 33m 55s main
main
August 12, 2024 12:05 33m 55s
feat(py): Hugr.to_json and .load_json helpers (#1403) Unsoundness checks #726: Commit e7f9f4c pushed by github-merge-queue bot
August 12, 2024 09:50 33m 30s main
main
August 12, 2024 09:50 33m 30s
docs(hugr-py): expand toctree (#1411) Unsoundness checks #725: Commit aa81c9a pushed by github-merge-queue bot
August 9, 2024 09:23 33m 17s main
main
August 9, 2024 09:23 33m 17s
feat(hugr-py): add type_bound method to Type (#1410) Unsoundness checks #724: Commit bd5ba47 pushed by github-merge-queue bot
August 9, 2024 08:59 24m 10s main
main
August 9, 2024 08:59 24m 10s
fix: BasicBlockExits should not be OpTag::DataflowParent (#1409) Unsoundness checks #723: Commit 373fb22 pushed by github-merge-queue bot
August 9, 2024 08:21 33m 2s main
main
August 9, 2024 08:21 33m 2s
feat(py): Set node output# for dfgs and cfgs (#1400) Unsoundness checks #722: Commit c5d1a74 pushed by github-merge-queue bot
August 8, 2024 15:56 32m 58s main
main
August 8, 2024 15:56 32m 58s
feat(py): implement iter on ToNode (#1399) Unsoundness checks #721: Commit e88910b pushed by github-merge-queue bot
August 8, 2024 15:29 26m 36s main
main
August 8, 2024 15:29 26m 36s
feat: Define Const inline by default, and add a parameter to change… Unsoundness checks #720: Commit 3609736 pushed by github-merge-queue bot
August 8, 2024 13:44 37m 32s main
main
August 8, 2024 13:44 37m 32s
feat: Add Eq op to logic extension (#1398) Unsoundness checks #719: Commit cd0c906 pushed by github-merge-queue bot
August 8, 2024 13:42 3m 0s main
main
August 8, 2024 13:42 3m 0s
fix(py): Hugr.__iter__ returning NodeData | None instead of `Node… Unsoundness checks #718: Commit c134584 pushed by github-merge-queue bot
August 8, 2024 12:03 33m 57s main
main
August 8, 2024 12:03 33m 57s
docs: Clarify CustomConst::equal_consts (#1396) Unsoundness checks #717: Commit b7f0765 pushed by github-merge-queue bot
August 6, 2024 16:45 35m 16s main
main
August 6, 2024 16:45 35m 16s
chore(deps): update rstest requirement from 0.21.0 to 0.22.0 (#1395) Unsoundness checks #716: Commit 27db0f2 pushed by github-merge-queue bot
August 6, 2024 08:32 33m 32s main
main
August 6, 2024 08:32 33m 32s
feat(hugr-py)!: Reexport commonly used classes from the package root … Unsoundness checks #715: Commit 69925d0 pushed by github-merge-queue bot
August 5, 2024 14:39 36m 23s main
main
August 5, 2024 14:39 36m 23s
feat(hugr-py): Allow defining functions, consts, and aliases inside D… Unsoundness checks #714: Commit d554072 pushed by github-merge-queue bot
August 2, 2024 16:04 35m 42s main
main
August 2, 2024 16:04 35m 42s
feat(hugr-cli)!: move mermaid to own sub-command (#1390) Unsoundness checks #713: Commit 77795b9 pushed by github-merge-queue bot
August 2, 2024 12:54 35m 6s main
main
August 2, 2024 12:54 35m 6s
feat(hugr-cli): validate with extra extensions and packages (#1389) Unsoundness checks #712: Commit f78c0cc pushed by github-merge-queue bot
August 2, 2024 10:54 35m 29s main
main
August 2, 2024 10:54 35m 29s
chore: Only release-plz after release PRs (#1391) Unsoundness checks #711: Commit fd609e0 pushed by github-merge-queue bot
August 2, 2024 10:30 25m 4s main
main
August 2, 2024 10:30 25m 4s