Lost your login?
Created on 2014-02-07.19:54:08 by florian, last changed by malte.
This should probably be linked from the M&S meta-issue?
After the current changes to Merge-and-Shrink are merged, we should try to
optimize its memory management. Currently, most of the memory is allocated
inside two "normalize" methods. I guess these are the abstract transitions.