forked from aave-dao/aave-v3-origin
-
Notifications
You must be signed in to change notification settings - Fork 8
Pull requests: aave/aave-v3-horizon
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Audit Fix: The RwaAToken.authorizedTransfer execution should emit more events
#15
by yan-man
was merged Jun 25, 2025
Loading…
Audit Fix: Consider refactoring the RwaATokenManager to improve the configuration requirements
#16
by yan-man
was closed Jun 19, 2025
Loading…
Add Certora formal verification of RwaAToken
#18
by miguelmtzinf
Member
was merged Jun 10, 2025
Loading…
Previous Next
ProTip!
Filter pull requests by the default branch with base:main.