Skip to content

Pull requests: aave/aave-v4

New pull request New
Clear current search query, filters, and sorts
38 Open 706 Closed
38 Open 706 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat: tag and make symbolic tests halmos compatible
#889 opened Oct 9, 2025 by DhairyaSethi Member • Draft updated Oct 21, 2025
feat: init vault adapter poc
#539 opened Jul 16, 2025 by DhairyaSethi Member • Draft updated Oct 21, 2025
feat: Max getters for Hub blocked
#719 opened Sep 10, 2025 by CheyenneAtapour Contributor Loading… updated Oct 21, 2025
1
1
feat: Skip notifying risk premium when constant future-release
#790 opened Sep 23, 2025 by avniculae Contributor Loading… updated Oct 28, 2025
2
fix: Round down totalDebt for conservative supply interest
#1035 opened Nov 27, 2025 by miguelmtzinf Member • Draft updated Nov 28, 2025
test: Gas snapshot worst case liquidation
#930 opened Oct 18, 2025 by CheyenneAtapour Contributor • Draft updated Dec 12, 2025
6
Incorporate a supply index to the Hub
#1111 opened Jan 13, 2026 by miguelmtzinf Member • Draft updated Jan 19, 2026
4
docs: Add docs about rounding directions applied to math calculations
#924 opened Oct 17, 2025 by CheyenneAtapour Contributor Loading… updated Jan 20, 2026
7
feat: Add docs regarding rounding decisions
#1129 opened Jan 20, 2026 by CheyenneAtapour Contributor • Draft updated Jan 21, 2026
4
Fix TreasurySpoke getters to revert
#1175 opened Feb 3, 2026 by Dev-In-Crypt Loading… updated Feb 3, 2026
fix: gas tests with interest accrual (vs dev)
#1190 opened Feb 4, 2026 by yan-man Contributor • Draft updated Feb 6, 2026
22
fix: Remove ISpokeBase getters
#1109 opened Jan 12, 2026 by miguelmtzinf Member • Draft updated Feb 9, 2026
fix: Remove Spoke reserve getters
#1110 opened Jan 12, 2026 by miguelmtzinf Member • Draft updated Feb 9, 2026
1
refactor: Improve precision in hub.restore() future-release
#1159 opened Jan 29, 2026 by avniculae Contributor Loading… updated Feb 10, 2026
chore: precise validateAdd priority
#1202 opened Feb 9, 2026 by DhairyaSethi Member • Draft updated Feb 11, 2026
20
chore: cleanup z3
#1208 opened Feb 10, 2026 by DhairyaSethi Member Loading… updated Feb 11, 2026
17
0.5.6 <- 0.5.9
#1210 opened Feb 10, 2026 by DhairyaSethi Member • Draft updated Feb 11, 2026
3
feat: document claude md
#1219 opened Feb 17, 2026 by DhairyaSethi Member Loading… updated Feb 19, 2026
5
feat: Temporary approvals in AllowancePositionManager future-release
#1059 opened Dec 12, 2025 by avniculae Contributor Loading… updated Feb 24, 2026
44
test: Check supply share price when reporting deficit
#1057 opened Dec 11, 2025 by avniculae Contributor • Draft updated Feb 27, 2026
3
Certora formal verification rules (#1069)
#1072 opened Dec 18, 2025 by DhairyaSethi Member Loading… updated Mar 2, 2026
7
feat: invariant tests
#1230 opened Feb 24, 2026 by DhairyaSethi Member Loading… updated Mar 11, 2026
14
feat: naive strongly typed sig batcher future-release
#1127 opened Jan 20, 2026 by DhairyaSethi Member Loading… updated Mar 11, 2026
10
feat: sig gateway permit2 flows future-release
#1124 opened Jan 19, 2026 by DhairyaSethi Member Loading… updated Mar 11, 2026
7
feat: skim on spoke (enable pushing liquidity) future-release
#1062 opened Dec 15, 2025 by DhairyaSethi Member Loading… updated Mar 11, 2026
11
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.