Title Avoid storing variables whose values are implied
Priority feature Status unread
Superseder Nosy List florian, malte
Assigned To Keywords
Optional summary

Created on 2014-02-23.00:21:56 by florian, last changed by florian.

msg2999 (view) Author: florian Date: 2014-02-23.00:21:56
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).
Date User Action Args
2014-02-23 00:21:56floriancreate