Personal tools

Download

From MCRL2

Jump to: navigation, search

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
link=http://www.microsoft.com/windows/
Windows XP, Vista, 7 mcrl2-201107-2-win32.exe 32bit Installer
64bit Installer
Binary
link=http://www.ubuntu.com/
Lucid Launchpad PPA Package manager
Maverick
Natty
Oneiric
Binary
link=http://www.apple.com/nl/macosx/
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:

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.

This page was last modified on 21 November 2011, at 16:30. This page has been accessed 128,252 times.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
Powered by MediaWiki