-
Notifications
You must be signed in to change notification settings - Fork 12.1k
Pull requests: OpenZeppelin/openzeppelin-contracts
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Update dependency halmos to v0.3.2
ignore-changeset
#5819
opened Jul 26, 2025 by
renovate
bot
Loading…
1 task
docs: Fix typos and inaccuracies in documentation
#5815
opened Jul 24, 2025 by
torrpriius
Loading…
2 of 3 tasks
chore: fixed an OpenZeppelin Defender link
documentation
Inline comments, guides, and examples.
ignore-changeset
#5812
opened Jul 22, 2025 by
DeVikingMark
Loading…
3 tasks
Update FV specs and script
formal-verification
Enable FV run in a PR.
ignore-changeset
#5786
opened Jul 7, 2025 by
Amxx
Loading…
2 of 5 tasks
Formal verification of Account (7702+7579)
Account Abstraction
formal-verification
Enable FV run in a PR.
ignore-changeset
#5785
opened Jul 6, 2025 by
Amxx
Loading…
Update lockfile
ignore-changeset
maintenance
#5708
opened Jun 1, 2025 by
renovate
bot
Loading…
1 task
Consider attacker redeem in ERC4626 inflation attack docs
ignore-changeset
#5606
opened Mar 26, 2025 by
ernestognw
Loading…
1 of 3 tasks
docs: Enhance TESTING.md with comprehensive testing guidelines and be…
#5589
opened Mar 18, 2025 by
VolodymyrBg
Loading…
1 of 3 tasks
Previous Next
ProTip!
Adding no:label will show everything without a label.