ProvableHQ
leo
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
PR Status
Open
Merged
Closed
48 total
CodSpeed Performance Gauge
0%
Stubs inserted in the wrong order in monomorphization
#29299
4 hours ago
aabef63
mohammadfawaz/29297
CodSpeed Performance Gauge
0%
Fix false-positive interface conformance errors and panic on array-length expressions in interface prototypes
#29298
3 days ago
cfdca89
mohammadfawaz/29285
CodSpeed Performance Gauge
0%
Check vector type usage
#29247
11 hours ago
96cb120
IGI-111/29227
CodSpeed Performance Gauge
0%
Compare modes semantically instead of literally
#29300
16 hours ago
b094c36
IGI-111/29288
CodSpeed Performance Gauge
0%
Accept dyn record arguments by looking up interface records (not program records)
#29296
3 days ago
5a7d8b3
mohammadfawaz/29295
CodSpeed Performance Gauge
0%
Add `--network-retries` flag with exponential backoff for transient network failures
#29289
6 days ago
1edad8e
mohammadfawaz/request_retry_logic
CodSpeed Performance Gauge
0%
Feat/devnode persistent storage
#29251
3 days ago
835a570
feat/devnode-persistent-storage
CodSpeed Performance Gauge
0%
fix array in mapping issue
#29291
6 days ago
d833a53
mohammadfawaz/29287
CodSpeed Performance Gauge
0%
Fix compiler panic
#29290
6 days ago
20eac0c
IGI-111/29224
CodSpeed Performance Gauge
0%
Support access to external program submodules
#29280
6 days ago
01c2a77
mohammadfawaz/external_submodules
1
2
3
4
5
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs