Jan Friso Groote

#### 2017-09-08 12:03:14: @jgroote commented ___ This appears to be a problem that is specific for MacOsX. OS: OsX 10.12.6. Qt 5.7.

#### 2017-09-09 17:38:21: anonymous changed owner from *jfg* to *wieger*

#### 2017-09-09 17:38:21: anonymous changed component from *ltsview* to *Core: Parse Library*

#### 2017-09-09 17:38:21: anonymous commented ___ Further analysis shows that the problem is caused by the .fsm parser. At line 86 of parse_parameter the input consists of a domain of...

#### 2013-06-06 16:16:47: @jkeiren changed status from *new* to *assigned*

#### 2013-06-06 16:16:47: @jkeiren changed owner from *timw* to *scranen*

#### 2017-05-04 15:38:10: @wiegerw

#### 2017-05-29 17:13:33: @wiegerw changed owner from *scranen* to *wieger*

States in .lts format for non probabilistic transition systems are not stored as probabilistic transitions, although this has been the case. Also, saving the transitions does not touch anything related...

I think that the last comment is reason to reopen this issue, to investigate why such a dramatic increase in memory is observed. I cannot believe that this is due...