Update dependency: deps/k_release (#167)

Update `kframework` to `7.1.318`.

---------

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

Author: 3 people

deps/k_release

@@ -1 +1 @@
-7.1.304
+7.1.318

deps/uv_release

@@ -1 +1 @@
-0.9.14
+0.9.22

package/version

@@ -1 +1 @@
-0.1.125
+0.1.126

pyproject.toml

@@ -4,12 +4,12 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kriscv"
-version = "0.1.125"
+version = "0.1.126"
 description = "K tooling for the RISC-V architecture"
 readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
-    "kframework==7.1.304",
+    "kframework==7.1.318",
     "filelock>=3.14.0,<4",
     "pyelftools>=0.26",
     "pyyaml>=6.0.1,<7",

src/tests/riscof/sail_cSim/riscof_sail_cSim.py

@@ -45,16 +45,9 @@ def initialise(self, suite: str, workdir: str, env: str) -> None:
         self.env = env
         self.compile_cmd = 'riscv64-unknown-elf-gcc -march={0} \
          -static -mcmodel=medany -fvisibility=hidden -nostdlib -nostartfiles'
-        self.compile_cmd += (
-            ' -T '
-            + self.pluginpath
-            + '/env/link.ld\
-            -I '
-            + self.pluginpath
-            + '/env/\
-            -I '
-            + env
-        )
+        self.compile_cmd += ' -T ' + self.pluginpath + '/env/link.ld\
+            -I ' + self.pluginpath + '/env/\
+            -I ' + env
 
     def build(self, isa_yaml: str, platform_yaml: str) -> None:
         ispec = utils.load_yaml(isa_yaml)['hart0']