Jan Friso Groote comments

Results 166 comments of


                                            Jan Friso Groote

eliminate custom replace functions in linearise.cpp

I should of course close this ticket also...

eliminate custom replace functions in linearise.cpp

The functions substitute_pCRL_proc and capture_avoiding_substitution behave differently. For instance after replacing the former by the latter lift3_init.mcrl2 and lift3_final.mcrl2 do not linearise correctly anymore. As yet it is unclear what...

ltsconvert with simulation minimization outputs badly formatted fsm files

The description of the .fsm format was quite outdated. A new version has been added which should automatically come online one of these days. In essence the labels of states...

ltsconvert cannot transform/parse probabilistic .aut files

The above mentioned commit should resolve this problem as well as it can be done now.

Pretty printing is confusing.

This problem appears to be especially related to error messages. When linearizing: act a:Real; map p:Real; init a((1-p)*q).delta; we get the error message: Could not find a matching action declaration...

Pretty printing is confusing.

The commit reported above resolves this issue.