-
Notifications
You must be signed in to change notification settings - Fork 2.6k
Pull requests: foundry-rs/foundry
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: require approval for local compiler executables
#16113
opened Aug 10, 2026 by
figtracer
Member
Loading…
fix(cast): confirm EIP-7702 auth disclosure
#16111
opened Aug 10, 2026 by
rappie
Contributor
Loading…
chore(deps): finalize revm 42 dependency pins
L-ignore
Log: ignore PR in changelog
#16109
opened Aug 10, 2026 by
mablr
Member
Loading…
fix(wallet): reject BIP32 paths that overflow the harden bit
#16096
opened Aug 8, 2026 by
SashaMIT
Loading…
2 tasks done
feat(symbolic): prove branchless operation states
#16095
opened Aug 8, 2026 by
figtracer
Member
•
4/4
Loading…
feat(symbolic): normalize branchless word selection
#16094
opened Aug 8, 2026 by
figtracer
Member
•
3/4
Loading…
feat(symbolic): prove saturating multiplication
#16093
opened Aug 8, 2026 by
figtracer
Member
•
2/4
Loading…
feat(symbolic): prove bounded arithmetic identities
#16087
opened Aug 8, 2026 by
figtracer
Member
•
1/4
Loading…
2 of 3 tasks
fix(forge): revalidate cached invariants
#16077
opened Aug 8, 2026 by
stevencartavia
Member
Loading…
refactor(verify): drop the unreachable unknown optimizer runs branch
#16066
opened Aug 7, 2026 by
mkzung
Loading…
fix(verify-bytecode): fail when provided constructor args do not match the deployment
#16056
opened Aug 7, 2026 by
mattsse
Member
Loading…
refactor(fuzz): unify campaign execution
#15837
opened Jul 21, 2026 by
stevencartavia
Member
Loading…
Previous Next
ProTip!
Updated in the last three days: updated:>2026-08-07.