Bump minor version to 7.1.0 (#4441)

We have made changes recently that warrant a version bump (renaming Pyk;
regex terminal changes). This PR bumps the minor version and writes up
significant recent changes in the changelog.

---------

Co-authored-by: Tamás Tóth <tothtamas28@users.noreply.github.com>

Author: Baltoli

CHANGELOG.md

@@ -2,6 +2,46 @@
 copyright: Copyright (c) Runtime Verification, Inc. All Rights Reserved.
 ---
 
+K Framework 7.1.0
+=================
+
+Major Changes
+-------------
+
+- The Pyk distribution package name has been renamed to `kframework` in
+  preparation for publishing the library to PyPI. The _import package_ remains
+  `pyk`. Consumers of the library will need to update their `pyproject.toml`
+  files to reflect the new name, but should not need to update any code.
+
+- Updates to the syntax of regular expression terminals (`r"..."`) in K; some
+  previously accepted syntax is no longer valid. This allows us to improve error
+  messages, and will enable more checks in the future.
+
+- K no longer supports macOS running on Intel machines.
+
+Minor Changes
+-------------
+
+- Improved logging when executing symbolically using the Haskell backend; these
+  logs make it easier to track down performance issues in K code.
+
+- SimpleSub-based principled type inference is now enabled by default.
+
+- Pyk now implements a more correct parenthesising unparser; this reduces
+  downstream reliance on symbol table patching when unparsing.
+
+- Eliminated internal sources of flakiness due to undefined iteration order;
+  this makes it easier to write stable tests using K.
+
+- Improvements to K's Nix infrastructure that reduce the size of a K Nix
+  closure, making `kup install` faster.
+
+- CI refactorings to improve K core developer experience.
+
+- Updates to dependency versions.
+
+- General bug fixes, UI and performance improvements.
+
 K Framework 7.0.0
 =================
 

install-k

@@ -1,6 +1,6 @@
 #!/bin/sh -e
 
-K_VERSION=7.0.41
+K_VERSION=7.1.0
 
 if [ `id -u` -ne 0 ]; then
   echo "$0: error: This script must be run as root."

package/debian/changelog

@@ -1,4 +1,4 @@
-kframework (7.0.41) unstable; urgency=medium
+kframework (7.1.0) unstable; urgency=medium
 
   * Initial Release.
 

package/version

@@ -1 +1 @@
-7.0.41
+7.1.0

pyk/docs/conf.py

@@ -9,8 +9,8 @@
 project = 'pyk'
 author = 'Runtime Verification, Inc'
 copyright = '2024, Runtime Verification, Inc'
-version = '7.0.41'
-release = '7.0.41'
+version = '7.1.0'
+release = '7.1.0'
 
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration

pyk/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kframework"
-version = "7.0.41"
+version = "7.1.0"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",

pyk/src/pyk/__init__.py

@@ -6,4 +6,4 @@
     from typing import Final
 
 
-__version__: Final = '7.0.41'
+__version__: Final = '7.1.0'