pyproject.toml: sync pyk version 7.1.311

Author: rv-auditor

pyproject.toml

@@ -9,7 +9,7 @@ description = "K tooling for the RISC-V architecture"
 readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
-    "kframework==7.1.310",
+    "kframework==7.1.311",
     "filelock>=3.14.0,<4",
     "pyelftools>=0.26",
     "pyyaml>=6.0.1,<7",