Skip to content
This repository has been archived by the owner on Feb 1, 2020. It is now read-only.

Version 3.5.2 of the K Semantic Framework
Compare
Choose a tag to compare
@dwightguth dwightguth released this 19 Dec 23:56
· 4469 commits to master since this release
v3.5.2
25918c3

This is the last supported version of K which supports the Maude backend. Long-term support will continue for this release with backports and bugfixes until the release of K 4.0.

Version 3.5.1 updates the readmes to make it clearer to users that the K tutorial requires the Java backend.
Version 3.5.2 fixes a bug that causes Maude to incorrectly handle filenames with spaces in them.

Assets 4
Loading