mCRL2
mCRL2 copied to clipboard
mCRL2org
The Git repository for the mCRL2 toolset.
Added window that can be opened through view->show graphics info. Added colour setting for backlink colouring. NB: Long interpolation button does not do anything yet.
- Fixed some identical include directories being added multiple times. - Replaced a few `set( )` with `list(APPEND, , )` - Added functionality for specifying source directories instead of source...
This issue describes features, enhancements and bugs that are planned to be addressed in the (near) future for mcrl2ide. Feel free to add anything yourself by leaving a comment. **FEATURES**...
When running `ltsconvert -esim -ofsm` on some inputs, the output fsm file does not satisfy the [given specification](https://www.mcrl2.org/web/user_manual/language_reference/lts.html#fsm-file-format), as the `STATES` section produced is empty, and the `TRANSITION` section is...
While exporting an output of the tool "ltsview" as a bitmap over Ubuntu, I'm facing OpenGL error: 1282. Versions are: mcrl22lps mCRL2 toolset 202206.0 (Release) Ubuntu 20.04.4 LTS Another issue...
Executing `ltsgraph --help` produces no output in Windows Terminal, Command Prompt and Powershell on Windows 10 (and 11) version 10.019044. This is with the latest release, but the same applies...
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:...
There might be an issue with pattern matching when using mappings as an argument of other mappings, as the following specification, derived from an example by Myrthe Spronck, suggests: ```...
Using the latest nightly build I consistently get a bus error for the attached model, but only if the number of threads is set to more than one. Steps to...
The following two specifications give same LPS (seen using lpsxsim) but the first one has 1 summand confluent while the other has not. Specification-1 ``` act a,c; proc P1=a; P2=c;...