Maude-help mailing list

[Paco Durán <duran AT lcc.uma.es>]

Hi Stefan, and Julia,

Perhaps you can give try to the version compiled by Rubén Rubio 
(http://maude.sip.ucm.es/strategies/). It's an executable of the latest alpha 
extended with the strategy language. It's compiled using Mingw, which means 
that you can directly run the executable, since it doesn't require a linux 
environment (cygwin). It has not been extensibly tested, and in particular 
don't know how it behaves with things very dependent on the OS like sockets, 
etc. 

I'm cc'ing Rubén, perhaps you can tell him what you find out. 

Best,

Francisco 

> On 21 Oct 2019, at 11:57, Julia Sapiña Sanchis 
> <jsapina AT upv.es>
>  wrote:
> 
> Hi Stefan,
> 
> As far as I know, the MOMENT installable versions of Maude, besides being 
> old, do not work with Windows 10.
> 
> I have not personally tested it, but it seems that the new Windows 10 linux 
> bash shell runs Maude without problems. Another option is to manually 
> compile the sourcecode by following our guide at 
> http://safe-tools.dsic.upv.es/maude/
> 
> Regards,
> 
> Julia
> 
> El 17/10/2019 a las 9:14, Andrei-Ștefan Munteanu escribió:
>> Hello,
>> Basically what is happening after installation when I try to use/open 
>> maude I will get a huge amount of processes starting with maude until the 
>> computer is no longer responsive and I need to reboot it manually.
>> Had anyone had this problem previously?
>> I've attached an full specs logs.
>> But to make a resume to it I'm running on Windows Pro 1903 with OS build 
>> 18362.418.
>> Thanks,
>> Stefan

Attachment: smime.p7s
Description: S/MIME cryptographic signature