ProvableHQ
leo
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
PR Status
Open
Merged
Closed
42 total
CodSpeed Performance Gauge
0%
Fix compiler panic
#29290
18 minutes ago
20eac0c
IGI-111/29224
CodSpeed Performance Gauge
0%
Support access to external program submodules
#29280
19 hours ago
01c2a77
mohammadfawaz/external_submodules
CodSpeed Performance Gauge
0%
interfaces in libraries
#29249
1 day ago
cc861e5
mohammadfawaz/interfaces_in_libs
CodSpeed Performance Gauge
0%
Update to `4.0.0`
#29275
2 days ago
d902071
mohammadfawaz/4_0_0
CodSpeed Performance Gauge
0%
Fix compiler panic after tuple destructuring size mismatch
#29273
1 day ago
adddd89
mohammadfawaz/29184
CodSpeed Performance Gauge
0%
Feat/devnode persistent storage
#29251
1 day ago
c85ca7d
feat/devnode-persistent-storage
CodSpeed Performance Gauge
0%
Enforce `dyn record` for record types in dynamic calls
#29269
2 days ago
d3cbc4e
IGI-111/fix-dyn-record
CodSpeed Performance Gauge
0%
Fix panic on repeat/array expressions with oversized const lengths (#29220)
#29267
2 days ago
aea32d8
mohammadfawaz/29220
CodSpeed Performance Gauge
0%
Fix intrinsic type parameter reconstruction across all passes
#29266
2 days ago
ae3869f
mohammadfawaz/29221
CodSpeed Performance Gauge
0%
Fix a panic in `BlockToFunctionRewriter` when a `final` block contains a tuple field assignment on a non-tuple variable
#29265
2 days ago
c858768
mohammadfawaz/29223
1
2
3
4
5
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs