Message2999

Author florian
Recipients florian, malte
Date 2014-02-23.00:21:56
Content
We could save additional memory per state if values that are implied by others
through mutex reasoning are not stored permanently in the state.
In this issue, this does not mean the values of derived variables, because there
already is an issue for that (issue423).
History
Date User Action Args
2014-02-23 00:21:56floriansetrecipients: + florian, malte
2014-02-23 00:21:56floriansetmessageid: <1393111316.44.0.24963688129.issue424@unibas.ch>
2014-02-23 00:21:56florianlinkissue424 messages
2014-02-23 00:21:56floriancreate