Skip to content

Releases: mCRL2org/mCRL2

mCRL2 202407.1

25 Aug 20:37
Compare
Choose a tag to compare

Fixes a breaking issue in the mCRL2 IDE.

mCRL2 202407.0

12 Aug 15:39
Compare
Choose a tag to compare

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

21 Aug 12:58
Compare
Choose a tag to compare

This minor release resolves some issues with ltsgraph.

mCRL2 202307.0

19 Jul 11:53
Compare
Choose a tag to compare

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

04 Jul 14:34
Compare
Choose a tag to compare

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

20 Jun 15:06
Compare
Choose a tag to compare

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

14 Jun 13:39
Compare
Choose a tag to compare

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

20 Jul 20:04
Compare
Choose a tag to compare

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

03 Sep 10:59
Compare
Choose a tag to compare

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

02 Sep 20:46
Compare
Choose a tag to compare

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.