Skip to content

Protocol type checking#1688

Draft
croyzor wants to merge 51 commits intoprotocol-mainfrom
checking-fresh
Draft

Protocol type checking#1688
croyzor wants to merge 51 commits intoprotocol-mainfrom
checking-fresh

Conversation

@croyzor
Copy link
Copy Markdown
Collaborator

@croyzor croyzor commented Apr 22, 2026

No description provided.

tatiana-s and others added 30 commits September 22, 2025 17:10
@github-actions
Copy link
Copy Markdown
Contributor

🐰 Bencher Report

Branchchecking-fresh
TestbedLinux
Click to view all benchmark results
BenchmarkLatencyBenchmark Result
microseconds (µs)
(Result Δ%)
Upper Boundary
microseconds (µs)
(Limit %)
tests/benchmarks/test_big_array.py::test_big_array_check📈 view plot
🚷 view threshold
800,263.05 µs
(-21.80%)Baseline: 1,023,332.89 µs
1,074,499.53 µs
(74.48%)
tests/benchmarks/test_big_array.py::test_big_array_compile📈 view plot
🚷 view threshold
2,001,719.37 µs
(-6.65%)Baseline: 2,144,213.18 µs
2,251,423.84 µs
(88.91%)
tests/benchmarks/test_big_array.py::test_big_array_executable📈 view plot
🚷 view threshold
8,812,529.14 µs
(+1.19%)Baseline: 8,708,798.80 µs
9,144,238.74 µs
(96.37%)
tests/benchmarks/test_ctrl_flow.py::test_many_ctrl_flow_check📈 view plot
🚷 view threshold
105,570.46 µs
(-3.33%)Baseline: 109,203.47 µs
114,663.64 µs
(92.07%)
tests/benchmarks/test_ctrl_flow.py::test_many_ctrl_flow_compile📈 view plot
🚷 view threshold
223,404.86 µs
(-5.44%)Baseline: 236,268.72 µs
248,082.16 µs
(90.05%)
tests/benchmarks/test_ctrl_flow.py::test_many_ctrl_flow_executable📈 view plot
🚷 view threshold
974,509.89 µs
(-23.19%)Baseline: 1,268,754.66 µs
1,332,192.39 µs
(73.15%)
tests/benchmarks/test_prelude.py::test_import_guppy📈 view plot
🚷 view threshold
44.37 µs
(-16.10%)Baseline: 52.88 µs
55.52 µs
(79.90%)
tests/benchmarks/test_queue_push_pop.py::test_queue_push_benchmark📈 view plot
🚷 view threshold
480,764.50 µs
(-0.48%)Baseline: 483,062.56 µs
507,215.69 µs
(94.79%)
tests/benchmarks/test_queue_push_pop.py::test_queue_push_pop_benchmark📈 view plot
🚷 view threshold
633,687.11 µs
(-5.78%)Baseline: 672,528.04 µs
706,154.44 µs
(89.74%)
🐰 View full continuous benchmarking report in Bencher

@github-actions
Copy link
Copy Markdown
Contributor

🐰 Bencher Report

Branchchecking-fresh
TestbedLinux
Click to view all benchmark results
Benchmarkhugr_bytesBenchmark Result
bytes x 1e3
(Result Δ%)
Upper Boundary
bytes x 1e3
(Limit %)
hugr_nodesBenchmark Result
nodes x 1e3
(Result Δ%)
Upper Boundary
nodes x 1e3
(Limit %)
tests/benchmarks/test_big_array.py::test_big_array_compile📈 view plot
🚷 view threshold
158.77 x 1e3
(0.00%)Baseline: 158.77 x 1e3
160.36 x 1e3
(99.01%)
📈 view plot
🚷 view threshold
6.64 x 1e3
(0.00%)Baseline: 6.64 x 1e3
6.71 x 1e3
(99.01%)
tests/benchmarks/test_ctrl_flow.py::test_many_ctrl_flow_compile📈 view plot
🚷 view threshold
27.53 x 1e3
(0.00%)Baseline: 27.53 x 1e3
27.81 x 1e3
(99.01%)
📈 view plot
🚷 view threshold
1.07 x 1e3
(0.00%)Baseline: 1.07 x 1e3
1.08 x 1e3
(99.01%)
🐰 View full continuous benchmarking report in Bencher

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants