maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Maude 2.5 and SCC

From: Emmanuel Castro <emmanuel.castro AT laposte.net>
To: maude-help <maude-help AT cs.uiuc.edu>
Subject: [Maude-help] Maude 2.5 and SCC
Date: Tue, 24 Aug 2010 21:51:23 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

I just managed to port the Maude-Ceta patch from Maude 2.3 to Maude
2.5, and it compiles on Ubuntu 10.04 with gcc 4.4.3 (32 bits).
I used Ceta alpha 4 (it requires a small fix in a .hh).

It seems to work. It is convenient because it allows to check
confluence with CRCHC and sufficient completeness with SCC in the same
Maude session.

Is someone interested with it? I can send the sources under the form
of a mercurial repository with all the versions of Maude (from 2.0)
and a branch for Ceta. It provides a good traceability of the port.

Emmanuel CASTRO

[Maude-help] Maude 2.5 and SCC, Emmanuel Castro, 08/24/2010