-
Notifications
You must be signed in to change notification settings - Fork 55
Pull requests: leanEthereum/leanVM
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
lean_vm: add source-level failure stack traces
#246
opened Jun 3, 2026 by
latifkasuli
Contributor
Loading…
WHIR: svo + split-eq, keeping Merkle / FFT padding opti, using 2 sumchecks
#166
opened Mar 26, 2026 by
TomWambsgans
Collaborator
Loading…
Fix: Check non-exhaustible conditional returns using a
goto mechanism
#75
opened Oct 16, 2025 by
divyaranjan1905
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.