Minimize Pragmas#5649

Closed

arr00 wants to merge 24 commits intoOpenZeppelin:masterfrom

arr00:chore/maximize-interface-pragmas

Commits on Apr 25, 2025

wip
arr00
committed
update interface pragmas
arr00
committed
fix lint
arr00
committed

Commits on May 12, 2025

add docs and update pragmas
arr00
committed

Commits on Jun 7, 2025

update
Amxx
committed
use AST to extract info
Amxx
committed

Commits on Jun 8, 2025

refactor
Amxx
committed

Commits on Jun 9, 2025

Merge branch 'master' into chore/maximize-interface-pragmas
Amxx
committed

Commits on Jun 11, 2025