-
Matthias Braun authored
We combine all non-arithmetic modes into irms_auxiliary (two auxiliary nodes are considered equal iff they have the same name).
5f0018d1
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
We combine all non-arithmetic modes into irms_auxiliary (two auxiliary nodes are considered equal iff they have the same name).