-
Michael Beck authored
- use single linked split list instead of double - no need to store the arity for partitions, as splitting by inputs is always last and especially AFTER we split by opcode [r20929]
82b4543a
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- use single linked split list instead of double - no need to store the arity for partitions, as splitting by inputs is always last and especially AFTER we split by opcode [r20929]