feat(nightly): execution `become`s faster - #2013

Merged

jonathanpwang merged 37 commits into

mainfrom

Aug 22, 2025

Commits on Aug 19, 2025

chore: add placeholder tco feature
jonathanpwang
committed
4d9e261

Commits on Aug 20, 2025

feat: add macro to generate tco handler and update interpreter for tco
jonathanpwang
committed
13cc6f2
feat: rv32im tco without become keyword
jonathanpwang
committed
fb3d997
fmt
jonathanpwang
committed
0c93530
feat: tco for other extensions
jonathanpwang
committed
f7fd1d7
chore: update feature deps
jonathanpwang
committed
f01ccd2
fixes
jonathanpwang
committed
5a193a0
feat: simplify the handler type without Result
jonathanpwang
committed
e6affb6
feat: try become keyword again
jonathanpwang
committed
9d9aa8a
chore: propagate tco feature
jonathanpwang
committed
4c1de9d
feat: use custom macros to reduce code in ecc execution
jonathanpwang
committed
76aa23d

Commits on Aug 21, 2025

refactor: use local dispatch! macros to reduce code duplication
jonathanpwang
committed
a82dfb2
refactor: fp2 dispatch
jonathanpwang
committed
5c7b832
chore: update feature comment
jonathanpwang
committed
32c2dbd
feat: metered handler for algebra extension
jonathanpwang
committed
eee6856
refactor: use local dispatch! macros to reduce code duplication
jonathanpwang
committed
c0d4d83
feat: run! macro for tco on pure+metered execution
jonathanpwang
committed
bae6afe
chore: fmt
jonathanpwang
committed
6e2b0a2
fix: missing handler for is_eq
jonathanpwang
committed
714c97a
feat: bigint metered handler
jonathanpwang
committed
8d3d06e
refactor: use dispatch! for rv32 executors
jonathanpwang
committed
312f6d5
cleanup: turn off tco feature
jonathanpwang
committed
9a2df6e
ci: switch benchmarks to use tco
jonathanpwang
committed
09e05c9
fix: proc-macro also needs tco feature
jonathanpwang
committed
fae5453
chore: lint
jonathanpwang
committed
a4566a7
ci: benchmarks with tco feature
jonathanpwang
committed
ce6981c
feat: use macro's "tco" feature
jonathanpwang
committed
6759a94
chore: add instrumentation for VmState::initial
jonathanpwang
committed
68b12f5
Merge branch 'main' into feat/tco
jonathanpwang
committed
d8ab8a6
chore: cargo shear
jonathanpwang
committed
d265fe9
fix: ci
jonathanpwang
committed
64c0571

Commits on Aug 22, 2025

perf: remove pc_base from pc_idx calc
jonathanpwang
committed
ce7c037
fix: remove unused error
jonathanpwang
committed
63b013a
chore: don't keep pre_compute_insns when tco
jonathanpwang
committed
5f5138c
chore: remove unused derive
jonathanpwang
committed
f46bf70
chore: dispatch! for poseidon2
jonathanpwang
committed
8a51077
chore: phantom lifetime
jonathanpwang
committed
aee66b1