ProvableHQ/leo - CodSpeed

leo

Blog Docs Changelog

Performance History

Latest Results

test(compiler): add expanded test coverage for interface-based dynamic mapping access Adds 13 compiler tests and 2 execution tests covering the full range of scenarios for `Interface@(target)::mapping.op(args)` syntax, matching the coverage pattern of existing dynamic function call tests: Passing: identifier-literal target, identifier-variable target, explicit network argument, multiple mappings in one interface, unsuffixed default inference. Failing: wrong argument count (per operation), wrong key type, wrong default type, unknown operation name. Execution: single-program self-referencing test (bank.aleo reads its own mapping via the interface syntax), and a two-program external test (checker.aleo reads bank_impl.aleo's mapping).

mohammadfawaz/29294

6 hours ago

feat(parser,passes): add dynamic mapping access syntax for interfaces Adds `Interface@(target)::mapping.get(key)` and the `contains` and `get_or_use` variants as syntactic sugar for dynamic mapping intrinsics.

mohammadfawaz/29294

6 hours ago

feat(parser,passes): add dynamic mapping access syntax for interfaces Adds `Interface@(target)::mapping.get(key)` and the `contains` and `get_or_use` variants as syntactic sugar for dynamic mapping intrinsics.

mohammadfawaz/29294

6 hours ago

feat(parser,passes): add dynamic mapping access syntax for interfaces Adds `Interface@(target)::mapping.get(key)` and the `contains` and `get_or_use` variants as syntactic sugar for dynamic mapping intrinsics.

mohammadfawaz/29294

6 hours ago

Support access to external program submodules (#29280)

master

6 hours ago

Support access to external program submodules

mohammadfawaz/external_submodules

8 hours ago

Support access to external program submodules

mohammadfawaz/external_submodules_4_0_2

8 hours ago

fix(compiler): bail out before passes when the parser found errors (#29302) (#29336) The error-recovering parser can emit errors to the handler while still returning Ok with ErrExpression nodes in the AST. Without a guard, frontend passes such as NameValidation would encounter those nodes and panic. Add `handler.last_err()?` at the top of `frontend_passes` so that any parser-recorded error stops compilation before any pass runs. This mirrors the guard already present in build.rs for library parsing. Closes #29302. Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>

master

8 hours ago

Latest Branches

0%

feat(parser,passes): dynamic mapping access syntax for interfaces#29339

6 hours ago

5ab85b0

mohammadfawaz/29294

0%

feat(parser/passes): support multi-segment locator paths for external submodules#29280

15 days ago

fae6292

mohammadfawaz/external_submodules

0%

feat(parser/passes): support multi-segment locator paths for external submodules#29338

15 days ago

fe74b6c

mohammadfawaz/external_submodules_4_0_2

© 2026 CodSpeed Technology

Home Terms Privacy Docs