maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Tracing and rewrite rules

From: Andy Fugard <...>
To: maude-help AT banyan.cs.uiuc.edu
Subject: [Maude-help] Tracing and rewrite rules
Date: Tue, 30 Sep 2003 12:45:40 +0200
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hi there,

Is there a way to do extremely pedantic tracing in Maude where the rule used for each rewrite (referred to by a number, for example) is listed along with the rewriting performed?

Cheers,

Andy
--
Andy Fugard +46 (0)73 779 3503
http://www.possibly.me.uk

[Maude-help] Tracing and rewrite rules, Andy Fugard, 09/30/2003
- Re: [Maude-help] Tracing and rewrite rules, Steven Eker, 09/30/2003