Maude download and installation
Maude 2.7.1 runs on many Unix variants, including Linux. If you are attempting to install it on Microsoft Windows, please read the separate section. In this section, we assume a Linux configuration. Please, substitute your platform name for 'linux' in what follows if you download for another platform. In any case, please consider subscribing to the Maude users mailing list, as this is also the mechanism by which we will make announcements about the system.
The Maude system download consists of three parts: Core Maude, Full Maude, and documentation and examples.
(If you use XEmacs, then you might find the Maude mode for XEmacs written by Kai Brünnler or the Maude mode written by Ellef Gjelstad useful. Extract the mode using the command "gunzip -c maude-mode.tar.gz | tar -xvf -" and follow instructions in maude-mode/README. Note that the Maude mode does not run under GNU Emacs. If you are using Emacs 24 please consider to use the maude-mode written by Santiago Saavedra . Please see the README for details. If you are interested in the Eclipse development environment, please, take a look at the MOMENT project web site.)
Core Maude 2.7.1
Click on the appropriate link below to download the collection of binaries, or click the source link to download and compile the sources yourself.
To install from one of the above binaries, simply extract the downloaded zip file.This generates the directory maude/ with the following files in it:
linear.maude machine-int.maude maude.[linux64|darwin64] metaInterpreter.maude model-checker.maude prelude.maude socket.maude term-order.maude
Depending on your system you can now run Maude by starting the appropriate executable file: maude.linux64 or maude.darwin64.
Full Maude 2.7.1
Full Maude is written in Maude, and is thus platform-independent. Download Full Maude 2.7.1 and save it into the Core Maude directory.
Maude manual and primer
The primer for Maude 2.0.1 (but mostly applicable for later versions too) is available here.
Change list from Maude 2.7 to 2.7.1
- Unification modulo Associativity is now partially supported (see the manual for details).
- Some bugs fixed.
- Some improvements in syntax error detection and recovering.