KVM - The K Virtual Machine

From K Framework
Revision as of 20:43, 26 January 2015 by Dwight (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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