Skip to content

Modified abstract domain in global initialization checker#23138

Open
EnzeXing wants to merge 3 commits intoscala:mainfrom
EnzeXing:global-init-checker-redesign

Commits

Commits on May 20, 2025