Replace `C2C.atom_is_extern` by more robust criterion `C2C.atom_is_external`#538

Merged

xavierleroy merged 3 commits intomasterfrom atom_is_external

Nov 22, 2024

+17-9

Commits on Nov 19, 2024

Replace C2C.atom_is_extern by more robust criterion C2C.atom_is_external
xavierleroy
committed

Commits on Nov 21, 2024

Further refine the C2C.atom_is_external criterion in "no-common" mode
xavierleroy
committed

Commits on Nov 22, 2024

Regression test for #537
xavierleroy
committed