Message6669

Author florian
Recipients florian, jendrik, malte
Date 2017-12-01.08:27:21
Content
The initial state data is stored globally without axioms evaluated and is
accessed when constructing state registries in a very intricate way where the
task constructs a StateRegistry that accesses the task itself but gets the state
data on a separate channel to avoid an endless loop (see msg5101 and issue509).
History
Date User Action Args
2017-12-01 08:27:21floriansetmessageid: <1512113241.86.0.977589040164.issue753@unibas.ch>
2017-12-01 08:27:21floriansetrecipients: + florian, malte, jendrik
2017-12-01 08:27:21florianlinkissue753 messages
2017-12-01 08:27:21floriancreate