ProvableHQ
leo
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Performance History
Latest Results
fix(passes): preserve array/struct reconstruction in WriteTransforming (#29480) `reconstruct_assert`, `reconstruct_repeat`, and `reconstruct_dynamic_op` built the statements that rebuild a write-transformed array/struct from its element variables but failed to return them, so an array/struct used directly in an assert, a repeat expression, or a dynamic-call argument kept its original initializer and the element writes were dropped. Co-authored-by: IGI-111 <igi-111@protonmail.com>
master
8 minutes ago
Merge branch 'master' into fix/write-transforming-assert-reconstruction
fix/write-transforming-assert-reconstruction
29 minutes ago
Render fallback labels for multi-line diagnostics (#29479)
master
1 hour ago
feat(abi): interface compatibility check and slimmer ABI Add `leo abi --against <standard>` to check whether a program's interface is a superset of an interface standard. Slim the ABI to its load-bearing surface: drop input names, const parameters, `implements`, and `is_final`, and record a concrete visibility only on plaintext I/O (records and futures have none).
mohammadfawaz/abi-interface-compat
11 hours ago
feat(abi): interface compatibility check and slimmer ABI Add `leo abi --against <standard>` to check whether a program's interface is a superset of an interface standard. Slim the ABI to its load-bearing surface: drop input names, const parameters, `implements`, and `is_final`, and record a concrete visibility only on plaintext I/O (records and futures have none).
mohammadfawaz/abi-interface-compat
12 hours ago
feat(abi): interface compatibility check and slimmer ABI Add `leo abi --against <standard>` to check whether a program's interface is a superset of an interface standard. Slim the ABI to its load-bearing surface: drop input names, const parameters, `implements`, and `is_final`, and record a concrete visibility only on plaintext I/O (records and futures have none).
mohammadfawaz/abi-interface-compat
12 hours ago
fix(passes): preserve array/struct reconstruction in WriteTransforming `reconstruct_assert`, `reconstruct_repeat`, and `reconstruct_dynamic_op` built the statements that rebuild a write-transformed array/struct from its element variables but failed to return them, so an array/struct used directly in an assert, a repeat expression, or a dynamic-call argument kept its original initializer and the element writes were dropped.
fix/write-transforming-assert-reconstruction
12 hours ago
fix(passes): preserve array/struct reconstruction in WriteTransforming asserts `reconstruct_assert` built the statements that rebuild a write-transformed array/struct from its element variables but returned `Default::default()` instead of them, so an array/struct used directly in an assert kept its original initializer and the writes were dropped.
fix/write-transforming-assert-reconstruction
13 hours ago
Latest Branches
CodSpeed Performance Gauge
0%
fix(passes): preserve array/struct reconstruction in WriteTransforming
#29480
34 minutes ago
2c9b83a
fix/write-transforming-assert-reconstruction
CodSpeed Performance Gauge
0%
feat(abi): interface compatibility check and slimmer ABI
#29481
12 hours ago
8f160be
mohammadfawaz/abi-interface-compat
CodSpeed Performance Gauge
+1%
feat: wasm-buildable leo build pipeline + leo-cli-core + leo-wasm
#29476
1 day ago
293cbeb
mohammadfawaz/leo-wasm-build
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs