-
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
Bump rand from 0.9.2 to 0.9.4 in /masm-to-lean
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#7
opened Apr 14, 2026 by
dependabot
bot
Loading…
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!
no:milestone will show everything without a milestone.