Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
550 workflow runs
550 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor!: Make Either::Right the "success" case (#1489) Unsoundness checks #769: Commit 8caa572 pushed by github-merge-queue bot
August 30, 2024 14:09 22m 32s main
main
August 30, 2024 14:09 22m 32s
feat(hugr-py)!: pretty printing for ops and types (#1482) Unsoundness checks #768: Commit aca403a pushed by github-merge-queue bot
August 30, 2024 09:48 36m 59s main
main
August 30, 2024 09:48 36m 59s
feat!: Add more list operations (#1474) Unsoundness checks #767: Commit 037005f pushed by github-merge-queue bot
August 30, 2024 09:02 37m 31s main
main
August 30, 2024 09:02 37m 31s
fix: Sum value equality. Add unit tests (#1484) Unsoundness checks #766: Commit a7b2718 pushed by github-merge-queue bot
August 29, 2024 16:03 40m 15s main
main
August 29, 2024 16:03 40m 15s
feat: Option / Result helpers (#1481) Unsoundness checks #765: Commit 9698420 pushed by github-merge-queue bot
August 29, 2024 15:46 16m 50s main
main
August 29, 2024 15:46 16m 50s
refactor!: Organise the hugr-py modules (#1460) Unsoundness checks #764: Commit 3ca56f4 pushed by github-merge-queue bot
August 29, 2024 14:49 37m 58s main
main
August 29, 2024 14:49 37m 58s
fix(hugr-py): record node children correctly when deserializing (#1480) Unsoundness checks #763: Commit 331125a pushed by github-merge-queue bot
August 29, 2024 10:38 40m 10s main
main
August 29, 2024 10:38 40m 10s
feat!: Move Lift, MakeTuple, UnpackTuple and Lift to prelude … Unsoundness checks #762: Commit b387505 pushed by github-merge-queue bot
August 28, 2024 14:36 42m 9s main
main
August 28, 2024 14:36 42m 9s
refactor(hugr-py)!: make serialization (module/methods) private (#1477) Unsoundness checks #761: Commit 49a5bad pushed by github-merge-queue bot
August 28, 2024 14:02 34m 27s main
main
August 28, 2024 14:02 34m 27s
chore: Replace poetry with uv (#1465) Unsoundness checks #760: Commit 0dc2c9c pushed by github-merge-queue bot
August 27, 2024 16:36 41m 6s main
main
August 27, 2024 16:36 41m 6s
refactor!: Bring the collections ext in line with other extension def… Unsoundness checks #759: Commit 069abd7 pushed by github-merge-queue bot
August 27, 2024 16:15 22m 4s main
main
August 27, 2024 16:15 22m 4s
feat: Add missing ops (#1463) Unsoundness checks #758: Commit 841f450 pushed by github-merge-queue bot
August 27, 2024 15:53 21m 56s main
main
August 27, 2024 15:53 21m 56s
feat: Bring in the pure-python renderer from guppy (#1462) Unsoundness checks #757: Commit 001e66a pushed by github-merge-queue bot
August 22, 2024 15:29 37m 8s main
main
August 22, 2024 15:29 37m 8s
refactor!: Make _DfBase and _DefinitionBuilder public (#1461) Unsoundness checks #756: Commit ea9cca0 pushed by github-merge-queue bot
August 22, 2024 14:23 37m 27s main
main
August 22, 2024 14:23 37m 27s
feat: Add a FuncTypeBase::io method (#1458) Unsoundness checks #755: Commit c7cd840 pushed by github-merge-queue bot
August 21, 2024 16:49 40m 37s main
main
August 21, 2024 16:49 40m 37s
feat(hugr-py): use serialized extensions in python (#1459) Unsoundness checks #754: Commit a61f4df pushed by github-merge-queue bot
August 21, 2024 16:36 13m 17s main
main
August 21, 2024 16:36 13m 17s
fix(py): Invalid node indexing (#1457) Unsoundness checks #753: Commit d6edcd7 pushed by github-merge-queue bot
August 21, 2024 15:59 37m 15s main
main
August 21, 2024 15:59 37m 15s
fix: width errors in spec (#1456) Unsoundness checks #752: Commit 26f05b5 pushed by github-merge-queue bot
August 21, 2024 15:27 32m 3s main
main
August 21, 2024 15:27 32m 3s
feat!: int operations other than widen/narrow have only one width arg… Unsoundness checks #751: Commit c39ed15 pushed by github-merge-queue bot
August 21, 2024 15:18 9m 16s main
main
August 21, 2024 15:18 9m 16s
feat!: variadic logic ops now binary (#1451) Unsoundness checks #750: Commit 95b3949 pushed by github-merge-queue bot
August 21, 2024 12:28 37m 43s main
main
August 21, 2024 12:28 37m 43s
feat!: add collections to serialized standard extensions (#1452) Unsoundness checks #749: Commit 6bd7d7f pushed by github-merge-queue bot
August 21, 2024 12:23 5m 39s main
main
August 21, 2024 12:23 5m 39s
chore: devenv update (#1449) Unsoundness checks #748: Commit 31b77e8 pushed by github-merge-queue bot
August 21, 2024 10:13 38m 12s main
main
August 21, 2024 10:13 38m 12s
docs: update spec for Row Variables and no-input-extensions (#1402) Unsoundness checks #747: Commit 67f0668 pushed by github-merge-queue bot
August 20, 2024 09:35 38m 19s main
main
August 20, 2024 09:35 38m 19s
chore(deps-py): bump ruff from 0.6.0 to 0.6.1 in the dev group across… Unsoundness checks #746: Commit 0bc223b pushed by github-merge-queue bot
August 20, 2024 08:22 37m 37s main
main
August 20, 2024 08:22 37m 37s
test: add serialization benchmarks (#1439) Unsoundness checks #745: Commit fac995d pushed by github-merge-queue bot
August 16, 2024 16:23 39m 13s main
main
August 16, 2024 16:23 39m 13s