Maude-help mailing list

[Emmanuel Castro <emmanuel.castro AT laposte.net>]

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