Issue415

Title Better memory management for Merge-and-Shrink
Priority feature Status chatting
Superseder Nosy List florian, malte, silvan
Assigned To Keywords
Optional summary

Created on 2014-02-07.19:54:08 by florian, last changed by malte.

Messages
msg3634 (view) Author: malte Date: 2014-10-04.19:36:13
This should probably be linked from the M&S meta-issue?
msg2934 (view) Author: florian Date: 2014-02-07.19:54:08
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.
History
Date User Action Args
2014-10-04 19:36:13maltesetstatus: unread -> chatting
messages: + msg3634
2014-02-07 19:54:08floriancreate