-
Matthias Braun authoredWe combine all non-arithmetic modes into irms_auxiliary (two auxiliary nodes are considered equal iff they have the same name).
5f0018d1
We combine all non-arithmetic modes into irms_auxiliary (two auxiliary nodes are considered equal iff they have the same name).