Olav Bunte

I can reproduce this: With the following specification as `test1.mcrl2`: ``` act a,c; proc P1 = a; P2 = c; init hide({a}, allow({a,c}, P1 || P2)); ``` Executing `mcrl22lps test1.mcrl2...

Wouldn't it be better to change the output slightly? For `test2.lps` it says that it is not confluent, while in reality it is confluent but the tool did not manage...

I can reproduce this for command prompt and powershell on Windows 10. The correct output does appear when using git bash.

We discussed this recently and iirc, this has to do with the fact that the simulation reduction collapses multiple states into one. The FSM format can only represent a state...

After some experimentation it seems that `ltsinfo` always uses the largest state index that can be found in the `TRANSITIONS` section. If you would manually increase the value of the...

I think that this is indeed due to `` and ` s) (s []`, will not be rewritten to `[]

I am aware of Qt related deprecated warnings in codeeditor.cpp (not mentioned above). Functions `QPlainTextEdit::setTabStopWidth` and `QFontMetrics::width` are deprecated since Qt 5.10. Since we have Qt 5.9 as minimum requirement,...

Building with Qt 5.13, I could find the following Qt related deprecated warnings: Deprecated since Qt 4.2: ``` 28>C:\Users\bunteo\Documents\mCRL2-git\tools\release\diagraphica\movabletablewidget.cpp(131,1): warning C4996: 'QTableWidget::setItemSelected': Use QTableWidgetItem::setSelected() instead ``` Deprecated since Qt 5.2:...

I cannot reproduce this on Windows 10 (it does not crash and behaves as expected).

@FWDekker Good point, I'll work on this tomorrow