Merge request Powerset weight (Bool, Int)
https://gitlab.cs.fau.de/thorsten/masterarbeit/commit/3f632f2a570b43f742de18fd9fa6a745d99c2903
Bringt das irgendetwas? (Speicher? Performance? Struct-Misalignment? Einfachheit?)
Tut mir leid, aber ich schaffe es nicht einen merge request dazu zu stellen, da ich nur branchese von dir als "source branch" auswählen kann. Mein thorsten/master kann ich im merge request lediglich als target auswählen, und dann erstellt es einen merge request bei mir bestehend aus 0 commits. m(