Message3636

Author malte
Recipients erez, florian, malte, silvia
Date 2014-10-04.19:42:03
Content
I'm adding Florian to this issue as our "master state memory manager". I wonder
if this is still an issue with our new way of storing state information. Perhaps
we can get rid of "-m32"?

Florian, how much work would it be to investigate the time and memory of -m32
vs. -m64 for some standard configurations?
History
Date User Action Args
2014-10-04 19:42:03maltesetmessageid: <1412444523.68.0.759097916728.issue213@unibas.ch>
2014-10-04 19:42:03maltesetrecipients: + malte, erez, silvia, florian
2014-10-04 19:42:03maltelinkissue213 messages
2014-10-04 19:42:03maltecreate