Skip to content

Actions: CQCL/hugr

Actions

Unsoundness checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unsoundness.yml
93 workflow run results
93 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add Collections extension with list type and operations (#421) Unsoundness checks #128: Commit 04913d0 pushed by github-merge-queue bot
August 18, 2023 13:51 4m 26s main
main
August 18, 2023 13:51 4m 26s
Enable static simple predicates (#417) Unsoundness checks #127: Commit 8aff60e pushed by github-merge-queue bot
August 18, 2023 10:03 3m 43s main
main
August 18, 2023 10:03 3m 43s
Rename Resource to Extension (#415) Unsoundness checks #126: Commit 2d55662 pushed by github-merge-queue bot
August 18, 2023 09:56 5m 17s main
main
August 18, 2023 09:56 5m 17s
Implement arithmetic const nodes. (#420) Unsoundness checks #125: Commit 16c7f8d pushed by github-merge-queue bot
August 17, 2023 14:26 4m 35s main
main
August 17, 2023 14:26 4m 35s
Add static values to resources (#414) Unsoundness checks #124: Commit 692cf6a pushed by github-merge-queue bot
August 16, 2023 15:04 5m 4s main
main
August 16, 2023 15:04 5m 4s
fix TypeBound::Any docstring (#412) Unsoundness checks #123: Commit b296bab pushed by github-merge-queue bot
August 15, 2023 20:14 3m 54s main
main
August 15, 2023 20:14 3m 54s
Simplified HUGR Type and TypeBound system (#378) Unsoundness checks #122: Commit ce4526f pushed by github-merge-queue bot
August 15, 2023 16:17 4m 10s main
main
August 15, 2023 16:17 4m 10s
Update portgraph requirement from 0.7.1 to 0.8.0 (#410) Unsoundness checks #121: Commit 4399ca1 pushed by github-merge-queue bot
August 15, 2023 09:02 6m 10s main
main
August 15, 2023 09:02 6m 10s
Avoid running unnecessary checks in the merge queue (#404) Unsoundness checks #120: Commit 033a805 pushed by github-merge-queue bot
August 14, 2023 09:17 4m 3s main
main
August 14, 2023 09:17 4m 3s
Update Type System part of spec wrt "types redux" (#401) Unsoundness checks #119: Commit bf51c93 pushed by github-merge-queue bot
August 14, 2023 08:04 8m 14s main
main
August 14, 2023 08:04 8m 14s
s/HugrMut/HugrInternalsMut/ as a sealed trait, and expose a minimal… Unsoundness checks #118: Commit d272ed5 pushed by github-merge-queue bot
August 11, 2023 15:48 4m 8s main
main
August 11, 2023 15:48 4m 8s
refactor signature in to own private module (#400) Unsoundness checks #117: Commit ad695f5 pushed by github-merge-queue bot
August 11, 2023 15:23 5m 6s main
main
August 11, 2023 15:23 5m 6s
Add a root NodeHandle type param to HugrView (#398) Unsoundness checks #116: Commit 056da40 pushed by github-merge-queue bot
August 11, 2023 14:30 5m 13s main
main
August 11, 2023 14:30 5m 13s
Put LeafOp::CustomOp inside a box. (#394) Unsoundness checks #115: Commit d65d94f pushed by github-merge-queue bot
August 10, 2023 15:50 4m 32s main
main
August 10, 2023 15:50 4m 32s
Move resource validation routines to new module (#385) Unsoundness checks #114: Commit b4095bf pushed by github-merge-queue bot
August 10, 2023 10:08 5m 22s main
main
August 10, 2023 10:08 5m 22s
Reinstate CustomType::new_simple (#390) Unsoundness checks #113: Commit ac74f67 pushed by github-merge-queue bot
August 9, 2023 17:04 4m 56s main
main
August 9, 2023 17:04 4m 56s
Tag the regions with their root node handle (#379) Unsoundness checks #112: Commit fa3b1ec pushed by github-merge-queue bot
August 9, 2023 16:34 4m 22s main
main
August 9, 2023 16:34 4m 22s
Reorganise HUGR views (#386) Unsoundness checks #111: Commit 383765d pushed by github-merge-queue bot
August 9, 2023 15:33 3m 48s main
main
August 9, 2023 15:33 3m 48s
[new] Validate IO nodes have resources matching parent signatures (#375) Unsoundness checks #110: Commit dc97710 pushed by github-merge-queue bot
August 9, 2023 13:19 4m 50s main
main
August 9, 2023 13:19 4m 50s
Use a 64-bit USize as the sole integer type in the core (#376) Unsoundness checks #109: Commit cb06bc1 pushed by github-merge-queue bot
August 9, 2023 12:38 6m 2s main
main
August 9, 2023 12:38 6m 2s
SerSimpleType: use Vec not TypeRow (#381) Unsoundness checks #108: Commit 9720b2f pushed by github-merge-queue bot
August 9, 2023 08:29 5m 53s main
main
August 9, 2023 08:29 5m 53s
Remove f64 (#377) Unsoundness checks #107: Commit 1db3f07 pushed by github-merge-queue bot
August 8, 2023 17:17 4m 50s main
main
August 8, 2023 17:17 4m 50s
[fix] Adding output resources in DFG builder (#372) Unsoundness checks #106: Commit ce78549 pushed by github-merge-queue bot
August 8, 2023 12:56 3m 50s main
main
August 8, 2023 12:56 3m 50s
Remove List and Map types from core (#373) Unsoundness checks #105: Commit cd6d6c9 pushed by github-merge-queue bot
August 8, 2023 12:47 4m 51s main
main
August 8, 2023 12:47 4m 51s
Arithmetic Resource (#357) Unsoundness checks #104: Commit 3c4a8fe pushed by github-merge-queue bot
August 8, 2023 11:40 5m 6s main
main
August 8, 2023 11:40 5m 6s