K 4.0

See the CHANGELOG for details on this release:

https://github.com/kframework/k/blob/v4.0.0/CHANGELOG.md

Version 4.0-beta of the K Semantic Framework

See the changelog for details:

https://github.com/kframework/k/blob/v4.0-beta/CHANGELOG.md

Version 3.6 of the K Semantic Framework

This is the final release of the K 3.x lifecycle, made in preparation for the migration to K 4.0, which will be a breaking release. All users who use K from the source control repository should start using this release until the 4.0 release is ready in the next several months. We will prepare documentation providing information about how to migrate definitions to K 4.0.

For a list of major changes, refer to the changelog in the distribution.

Version 3.5.2 of the K Semantic Framework

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.

Version 3.4 of the K Semantic Framework

This is the last stable release before switching the handling of collections from meta-level to user level built-ins.