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.