ProvableHQ
leo
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Performance History
Latest Results
Panic when the same external CPI (returning Final) appears in multiple programs in the import tree
mohammadfawaz/29297
14 hours ago
Fix interface record type matching and array-length panic in interfaces (#29285, #29293) Fix signature-mismatch false positives when an interface defined in a submodule uses record prototypes: compare by record name rather than full qualified path in CheckInterfaces. Fix panic in const propagation when interface function prototypes contain array types: make the type checker visit interface contents so array-length literals get type table entries. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
mohammadfawaz/29285
14 hours ago
Fix compiler error with dyn record
mohammadfawaz/29295
2 days ago
Fix compiler error with dyn record
mohammadfawaz/29295
2 days ago
Fix compiler error with dyn record
mohammadfawaz/29295
2 days ago
Retry network calls
mohammadfawaz/request_retry_logic
2 days ago
Retry network calls
mohammadfawaz/request_retry_logic
2 days ago
Retry network calls
mohammadfawaz/request_retry_logic
2 days ago
Latest Branches
CodSpeed Performance Gauge
0%
Panic when the same external CPI (returning Final) appears in multiple programs in the import tree
#29299
14 hours ago
db63c7a
mohammadfawaz/29297
CodSpeed Performance Gauge
0%
Fix false-positive interface conformance errors and panic on array-length expressions in interface prototypes
#29298
2 days ago
86cb391
mohammadfawaz/29285
CodSpeed Performance Gauge
0%
Accept dyn record arguments by looking up interface records (not program records)
#29296
2 days ago
5a7d8b3
mohammadfawaz/29295
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs