Maude .NET News

Maude .NET is a port of Maude to Visual C++ .NET. Maude is a high-performance reflective language supporting equational and rewriting logic. Originally in C++ for Linux, this contains the Visual Studio project and patch code needed to compile Maude for .NET.

Release 2.4.0.3 fixes the following bugs:
* The previous version of Maude .NET was 4.3.0.2 for no discernable reason.
The version number is fixed to match Maude version 2.4. (Thanks Abel!)
* ls now works. (Thanks again Abel!)
* chdir now works to change to another drive letter. (Thanks yet again Abel!)... read more

Maude .NET is a port of Maude to Visual C++ .NET. Maude is a high-performance reflective language supporting equational and rewriting logic. Originally in C++ for Linux, this contains the Visual Studio project and patch code needed to compile Maude for .NET.

Release 4.3.0.2 fixes the Maude executable so it can run if the system has only installed .NET Framework 2.0 and Visual C++ 2008 SP1 Redistributable.... read more

Maude .NET is a port of Maude to Visual C++ .NET. Maude is a high-performance reflective language supporting equational and rewriting logic. Originally in C++ for Linux, this contains the Visual Studio project and patch code needed to compile Maude for .NET.

Release 4.3.0.1 is a maintenance release so that executable targets .NET Framework 2.0 (not 3.5).

As usual, download at:
http://sourceforge.net/projects/maudedotnet/files/... read more

Maude .NET is a port of Maude to Visual C++ .NET. Maude is a high-performance reflective language supporting equational and rewriting logic. Originally in C++ for Linux, this contains the Visual Studio project and patch code needed to compile Maude for .NET.

Release 4.3.0.0 is the first release, based on Maude 4.3.

As usual, download at:
http://sourceforge.net/projects/maudedotnet/files/

Known issues:
* Does not support sockets (with erewrite).
* Ctrl-C not handled: it quits the application.
* Support for showing elapsed real time, but not CPU time.
* File unwinding in PseudoThread::processFds is not supported: all errors are treated as interrupts.