Maude-help mailing list

[Ciprian Dragomir <c.dragomir AT sheffield.ac.uk>]

Hi,

Given the information on the Maude website, I understand this is the mailing list for enquiries about using Maude. (apologies if this is not the case)

I'm trying to load several modules into Maude and I keep getting a weird error: "Warning: no loop state" and it's not loading the module (show module command says the module cannot be found). I'm a beginner with Maude so I'm not sure what I'm missing. Is it a version compatibility problem? It is possible that the code was written for an earlier version of Maude. 

My question is: Is there anything I can do to modify it such that it will work on the latest version of Maude? Are there any syntactical incompatibilities between versions or simply some additional declarations required?

I'm attaching the files I was trying to load (I get the same warning for all of them).

I am using Maude 2.6 and I've tried loading the files both on windows 7 (x64) and Ubuntu 11.04 .

Many thanks for your help,

Ciprian

--

Attachment: nsquare.maude
Description: Binary data

Attachment: pconfiguration.fm
Description: Binary data

Attachment: psystem.fm
Description: Binary data