Avatar for the ProvableHQ user
ProvableHQ
leo
BlogDocsChangelog
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
© 2026 CodSpeed Technology
Home Terms Privacy Docs