Previous releases of mCRL2
This page shows a list of historic releases of mCRL2.
Release 202206.0
Operating system
Release (202206.0)
Windows
macOS
Ubuntu
Fedora
Source
Release 202106.0
Operating system
Release (202106.0)
Windows
macOS
Ubuntu
Fedora
Source
Release 202006.0
Operating system
Release (202006.0)
Windows
macOS
Ubuntu
Fedora
Source
Release 201908.0
Operating system
Release (201908.0)
Windows
macOS
Ubuntu
Fedora
Source
Release 201808.0
Operating system
Release (201808.0)
Windows
macOS
Ubuntu
Fedora
Source
Release 201707.1
Operating system
Release (201707.1)
Windows
Mac OS X
Ubuntu
Fedora
Source
Release 201409.1
Operating system
Release (201409.1)
Windows
Mac OS X
Ubuntu
Fedora
Source
N.B. The tool lpsxsim fails to load .lps files under Windows. A new version of this tool can be downloaded here: http://www.mcrl2.org/download/release/lpsxsim_32bit.zip and http://www.mcrl2.org/download/release/lpsxsim_64bit.zip. The tool should be run standalone from the directory in which the zip archive is extracted, otherwise the Qt libraries may not be found.
Release 201210.1
Operating system
Release (201210.1)
Windows
Linux
Source
Release 201210.0
Operating system
Release (201210.0)
Windows
Linux
Source
Release 201202.0
Operating system
Release (201202.0)
Windows
Linux
Mac OS X (Darwin)
Source