mCRL2 202407.1

Fixes a breaking issue in the mCRL2 IDE.

mCRL2 202407.0

This release mainly features bug fixes and general improvements. See the file CHANGES for a complete overview. The release is also provided on our website. The Ubuntu release is available in a PPA.

mCRL2 202307.1

This minor release resolves some issues with ltsgraph.

mCRL2 202307.0

This release mainly features the introduction of parallel exploration algorithms to lps2lts and pbes2bool. See the file CHANGES for a complete overview. The release is also provided on our website. The Ubuntu release is available in a PPA.

mCRL2 202206.1

This release contains two bug fixes. See the file CHANGES for a complete overview. The release is also provided on our website. The Ubuntu release is available in a PPA.

mCRL2 202206.0

This release mainly contains two new symbolic tools called lpsreach and pbessolvesymbolic and contains several bug fixes. Unfortunately, these tools are not yet available on Windows. See the file CHANGES for a complete overview. The release is also provided on our website. The Ubuntu release is available in a PPA.

mCRL2 202106.0

This release mainly contains bug fixes and usability improvements to the graphical tools. See the file CHANGES for a complete overview. The release is also provided on our website. The Ubuntu release is available in a PPA.

Note: The Windows release has received a minor fix on the 12th of July, 2021, which resolves not being able to open mcrl2ide from mcrl2-gui.

mCRL2 202006.0

In this release, the binary format for storing LPS, LTS, PBES and BES files has been overhauled. This means that such files created with older versions of the toolset have to be regenerated. Furthermore, the lps2lts tool has been reimplemented from scratch. Finally, compiling the toolset now requires a compiler that supports C++17. See the file CHANGES for a complete overview. The release is also provided on our website. The Ubuntu release is available in a PPA.

mCRL2 201908.0

In this release, the ATerm library, which is the main internal data storage engine of mCRL2, has been re-implemented completely. Furthermore, the mCRL2ide has been improved, and now supports checking behavioural equivalence relations between two specifications. See the file CHANGES for a complete overview. The release is also provided on our website. The Ubuntu release is available in a PPA.

mCRL2 201808.0

This release sees the addition of two new tools: pbessolve, which can generate counter-examples, and mcrl2ide, which provides a user-friendly interface for basic functionality. See the file CHANGES for a complete overview. The release is also provided on our website. The binaries are only suitable for 64bit operating systems. The ubuntu release is available in a PPA.