Thomas Neele

Several Qt deprecation warnings under 5.15

3

When compiling under Qt 5.15, several deprecation warning are issued. Here is a sample: ``` src/tools/release/ltsview/markmanager.h:61:9: warning: 'QLinkedList' is deprecated: Use std::list instead [-Wdeprecated-declarations] typedef QLinkedList::iterator MarkRuleIndex; ^ qt-everywhere-src-5.15.0/qtbase/lib/QtCore.framework/Headers/qlinkedlist.h:92:7: note:...

The tool `pbesrewr` includes rewriters for the normal forms PFNF, BQNF and PPG. These rewriters are not really intended for daily use; PFNF may even cause an exponential blow-up of...

Typechecking error with polymorphic constructor in where assignment

1

Consider the following specification ``` init ((2 |> L whr L = [] end) == [1,1]) -> tau.delta delta; ``` Linearising this fails with the message ``` [error] this is...

Detect non-confluent rewrite rules

1

The data specification of an mCRL2 model is, in general, not assumed to be confluent. However, non-confluent rewrite systems typically lead to unexpected and undesired behaviour. For example: tools yield...

In `mcrl2/data/detail/data_property_map`, there are functions for printing and parsing properties. One would expect that these operations are eachother's inverse. However, when printing a set that contains an element with a...