ProvableHQ/leo - CodSpeed

leo

Blog Docs Changelog

Performance History

Latest Results

Update storage mode in run.rs

feat/devnode-persistent-storage

9 hours ago

Enforce `dyn record` for record types in dynamic calls (#29269) * Enforce `dyn record` for record types in dynamic calls The VM requires all record-typed arguments and return values in `call.dynamic` to use `dyn record`. Previously the type checker did not enforce this, letting users pass concrete record types through dynamic calls and hit VM errors at runtime. Type checker changes (interface-based dynamic calls): * Record-typed prototype arguments now require `dyn record` at the call site, with a clear error guiding users to cast with `as dyn record`. * Record-typed return values are automatically replaced with `dyn record`. Code generation changes: * `call.dynamic` bytecode now emits `dynamic.record` for all record-typed input and output type annotations, for both interface-based and intrinsic dynamic calls. * Fix clippy + fix some new tests --------- Co-authored-by: Mohammad Fawaz <mohammadfawaz@gmail.com>

master

10 hours ago

Fix clippy + fix some new tests

IGI-111/fix-dyn-record

10 hours ago

IGI-111/fix-dyn-record

11 hours ago

Fix a panic in codegen on code that should error out earlier (#29267) Co-authored-by: Mohammad Fawaz <mohammadfawaz@gmail.com>

master

11 hours ago

Fix const prop for type parameters (#29266) Co-authored-by: Mohammad Fawaz <mohammadfawaz@gmail.com>

master

11 hours ago

Fix a panic in codegen on code that should error out earlier

mohammadfawaz/29220

11 hours ago

Fix const prop for type parameters

mohammadfawaz/29221

12 hours ago

Latest Branches

0%

Feat/devnode persistent storage#29251

9 hours ago

e477b88

feat/devnode-persistent-storage

0%

Enforce `dyn record` for record types in dynamic calls#29269

11 hours ago

d3cbc4e

IGI-111/fix-dyn-record

0%

Fix panic on repeat/array expressions with oversized const lengths (#29220)#29267

17 hours ago

aea32d8

mohammadfawaz/29220

© 2026 CodSpeed Technology

Home Terms Privacy Docs