Dear Maude Abusers,

A new alpha release can be accessed at SRI-CSL in:

~eker/public_html/Maude/Alpha108a/

or downloaded from:

http://www.csl.sri.com/~eker/Maude/Alpha108a/

Alpha release site authentication:

User Name: maudeabuser
Password: bughunter

This is an alpha quality release to fix two issues.

Bug fix
=======

A bug where the generation of ground variants caused memory corruption when variants were compared for subsumption.
Illustrated by this example from Luis Aguirre (on Linux - corruption isn't visible on Mac).

fmod NAT-VARIANT is
sort Nat .
op 0 : -> Nat .
op s : Nat -> Nat .
op _+_ : Nat Nat -> Nat [prec 33] .
op _*_ : Nat Nat -> Nat [prec 31] .
vars X Y : Nat .
eq [base] : 0 + Y = Y [variant] .
eq [ind] : s(X) + Y = s(X + Y) [variant] .
eq [base2] : 0 * Y = 0 [variant] .
eq [ind2] : s(X) * Y = (X * Y) + Y [variant] .

sort Truth .
var Z : Nat .
op tt : -> Truth .
op eq : Nat Nat -> Truth [comm].
eq [eq] : eq(Z, Z) = tt .

endfm

get variants [26] eq(X + Y, X * Y) .

This bug has existed since alpha96a.


Other change
============

This version uses a new rope library written from scratch to avoid the broken and deprecated
SGI rope library that is problematic to compile with clang. Thus clang can be used without
backward compatibility flags and CVC4 can be successfully linked, reenabling 
rewriting modulo SMT on Darwin.

Steven