Optionally disallow defining new methods and drop backedges#198
Merged
Drvi merged 5 commits intov1.10.2+RAIfrom Nov 21, 2024
Merged
Optionally disallow defining new methods and drop backedges#198Drvi merged 5 commits intov1.10.2+RAIfrom
Drvi merged 5 commits intov1.10.2+RAIfrom
Commits
Commits on Nov 14, 2024
Commits on Nov 20, 2024
- committed