Download

From MCRL2

Latest Release: July 2011 - Bugfix 1

NOTE: This is a bugfix release. Users of the July 2011 version only need to upgrade if they want to use lpsconfcheck.

NOTE: Please un-install all other versions of mCRL2 before upgrading

Installers for additional platforms will be uploaded soon.

	Platforms	Version	Filename	Type
Binary		Windows XP, Vista, 7	mcrl2-201107-2-win32.exe	32bit Installer
				64bit Installer
Binary		Lucid	Launchpad PPA	Package manager
		Maverick
		Natty
		Oneiric
Binary		Mac OS X 10.5	mcrl2-201107-2-Darwin.dmg	32 Bit
		Mac OS X 10.6
		Mac OS X 10.7
Source		Linux, FreeBSD, Mac OS X	mcrl2-201107.1-src.tar.gz	Tar GZip archive

Please read the installation instructions for installing the toolset.

Changes with respect to the previous release:

• the list of changes

View our list of previous releases. Our next release is scheduled for January 2012.

Development versions

NOTE: Please un-install all other versions of mCRL2 before upgrading
You may encounter unexpected behaviour when executing tools.

	File	Type	Platforms	Notes
Binary	mcrl2-svn0-win32.exe	Installer	Windows (32-bit, 64-bit)	Please read FAQ before using
Source	mcrl2-svn10252-src.tar.bz2	Tar BZip2 archive	Linux, FreeBSD, Mac OS X

Subversion: Check out a copy of our SVN source tree to a directory DIR by running:

svn checkout https://svn.win.tue.nl/repos/MCRL2/trunk DIR

Please read the CMake build instructions for installing the toolset from source with cmake.

License Information

The source code of the toolset is distributed under the Boost license. In essence this says that the toolset can be used both academically and commercially, as long as the authors of the toolset are adequately (scientifically) acknowledged. The distribution contains some third-party libraries. The licenses under which these libraries have originally been released, still apply.