Wieger Wesselink

The change in commit 07bc09d should solve the problem with unnecessary parentheses in the expression `(a && a) && a`. Perhaps there are more operators with the wrong associativity annotations....

The original issue has now been resolved. The dining philosophers case looks like an entirely different issue to me. I will rename the issue to reflect that.

I am truly shocked by this premature closure of this ticket. Do you sincerely believe that this enormous overhead for .lts generation cannot be avoided?

I just compared lps2lts right before the addition of probabilistic extensions with the current version. On my case study I measure an increase of 80% in memory usage for the...

Search and replace across multiple files is an essential feature. It is very cumbersome that you have to manually open all files in order to rename an identifier.