misc: Replace dimension check in pull_dims#2275

Merged

FabioLuporini merged 2 commits intomasterfrom pull_dims

Dec 7, 2023

+2-10

Commits on Dec 6, 2023

compiler: Increase scope of SubDomain replacement during renaming pass
Edward Caunt
committed

Commits on Dec 7, 2023

Merge branch 'master' into pull_dims
EdCaunt
authored