maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] upModule and upRls in Full Maude

From: Francisco Durán <duran AT lcc.uma.es>
To: Krzysztof Majewski <krzys AT ifi.uio.no>
Cc: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] upModule and upRls in Full Maude
Date: Tue, 7 Sep 2010 10:44:15 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Hi Krzysztof,

Do you mean that the explanations in section 15.4
(http://maude.cs.uiuc.edu/maude2-manual/html/maude-manualch15.html#x76-22100015.4)
don't work? Is this a bug or a misunderstanding?

Francisco

El 06/09/2010, a las 11:36, Krzysztof Majewski escribió:

> Hi,
> I'm coding a strategy to produce pseudo-random execution traces of my
> model. I've got it to work in Core Maude. In Full Maude, however, the
> functions upModule and upRls fail to reduce to anything interesting.
> upTerm seems to work fine. Has anybody got this work? What do I need to
> do that isn't explained in the manual?
>
> k
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help

[Maude-help] upModule and upRls in Full Maude, Krzysztof Majewski, 09/06/2010
- Re: [Maude-help] upModule and upRls in Full Maude, Francisco Durán, 09/07/2010