KVM - The K Virtual Machine

From K Framework
Jump to: navigation, search

The K virtual machine has been deprecated by the removal of the Maude backend in K 3.5. Support for the Maude backend on Windows for K 3.5 will be provided only via the Cygwin emulation. If you wish better performance than this offers, you are encouraged to install a virtual machine of your own design on your computer.

Personal tools
Namespaces

Variants
Actions
Navigation