Views
Download
From MCRL2
Latest Release: January 2010 (SVN revision 7424)
| NOTE: Please un-install all other versions of mCRL2 before upgrading |
|---|
| File | Type | Platforms | Notes | |
|---|---|---|---|---|
| Binary | mcrl2-201001-win32.exe | Installer | Windows | Please read installation instructions before using |
| Binary | mcrl2-201001-Ubuntu_9.10_(i686).deb | DEB Installer | Ubuntu 9.10 (x86) | |
| Binary | mcrl2-201001-Ubuntu_9.10_(x86_64).deb | DEB Installer | Ubuntu 9.10 (x86 64) | |
| Binary | mcrl2-201001-openSUSE_11.2_(x86_64).rpm | RPM Installer | openSUSE 11.2 (x86 64) | |
| Binary | mcrl2-201001-Darwin.dmg | DMG-Disk image | Mac OS-X | Untested (Updated 18-05-2010) |
| Source | mcrl2-201001-src.tar.bz2 | Tar BZip2 archive | Linux, FreeBSD, Mac OS X |
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 July 2010.
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-svn8097-win32.exe | Installer | Windows | Please read FAQ before using |
| Binary | mcrl2-svn7748-Darwin.dmg | DMG-Disk image | Mac OS X | |
| Binary | mcrl2-svn8041-Fedora_release_10_(Cambridge)_(x86_64).rpm | RPM Installer | Fedora 10 (x86 64) | |
| Binary | mcrl2-svn7817-openSUSE_11.2_(x86_64).rpm | RPM Installer | openSuSE 11.2 (x86 64) | |
| Binary | mcrl2-svn8097-Ubuntu_9.10_(i686).deb | DEB Installer | Ubuntu 9.10 (i686) | |
| Binary | mcrl2-svn8097-Ubuntu_10.04.1_LTS_(x86_64).deb | DEB Installer | Ubuntu 9.10 (x86 64) | |
| Source | mcrl2-svn8094-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.
Please read the Build instructions for installing the toolset from source with boost build.
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.
Copyright © 2005-2010 Technische Universiteit Eindhoven.
