-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: trailofbits/masm-lean
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add U256 subtraction correctness proofs (17/17 u256)
#6
opened Apr 7, 2026 by
MarcIlunga
Contributor
Loading…
4 tasks
Semantic theorems, proof quality, emit events, bounded stack, word-addressed memory, stack depth enforcement
#2
opened Mar 18, 2026 by
tob-joe
Contributor
Loading…
5 tasks done
ProTip!
Filter pull requests by the default branch with base:main.