Maude-help mailing list

[Julia Sapiña Sanchis <jsapina AT upv.es>]

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