Update dependency: deps/k_release

deps/k_release

@@ -1 +1 @@
-7.1.245
+7.1.247

package/version

@@ -1 +1 @@
-0.1.64
+0.1.65

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kriscv"
-version = "0.1.64"
+version = "0.1.65"
 description = "K tooling for the RISC-V architecture"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -19,7 +19,7 @@ riscv-semantics = "kriscv.kdist.plugin"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kframework = "7.1.245"
+kframework = "7.1.247"
 pyyaml = "^6.0.1"
 types-pyyaml = "^6.0.12.20240311"
 filelock = "^3.14.0"

src/kriscv/sparse_bytes.py

@@ -5,8 +5,8 @@
 from typing import NamedTuple
 
 from pyk.kast.inner import KInner
-from pyk.prelude.kint import eqInt, intToken
-from pyk.prelude.ml import mlEqualsTrue
+from pyk.kast.prelude.kint import eqInt, intToken
+from pyk.kast.prelude.ml import mlEqualsTrue
 
 from .term_builder import (
     add_bytes,

src/kriscv/term_builder.py

@@ -4,9 +4,9 @@
 from typing import TYPE_CHECKING, cast
 
 from pyk.kast.inner import KApply, KInner, KSort, KVariable
-from pyk.prelude.bytes import bytesToken
-from pyk.prelude.collections import map_of
-from pyk.prelude.kint import intToken
+from pyk.kast.prelude.bytes import bytesToken
+from pyk.kast.prelude.collections import map_of
+from pyk.kast.prelude.kint import intToken
 
 from kriscv.term_manip import normalize_memory
 

src/kriscv/tools.py

@@ -7,9 +7,9 @@
 from elftools.elf.elffile import ELFFile  # type: ignore
 from pyk.kast.inner import KSort, Subst
 from pyk.kast.manip import split_config_from
+from pyk.kast.prelude.k import GENERATED_TOP_CELL
 from pyk.kore.match import kore_int
 from pyk.ktool.krun import KRun
-from pyk.prelude.k import GENERATED_TOP_CELL
 
 from kriscv import elf_parser, term_builder
 from kriscv.term_manip import kore_sparse_bytes, kore_word, match_map

src/tests/unit/test_sparse_bytes.py

@@ -4,8 +4,8 @@
 
 import pytest
 from pyk.kast.inner import KToken, KVariable
-from pyk.prelude.kint import eqInt, intToken
-from pyk.prelude.ml import mlEqualsTrue
+from pyk.kast.prelude.kint import eqInt, intToken
+from pyk.kast.prelude.ml import mlEqualsTrue
 
 import kriscv.term_builder as tb
 from kriscv.sparse_bytes import SparseBytes, SymBytes

src/tests/unit/test_unit.py

@@ -7,9 +7,9 @@
 
 # isort: on
 import pytest
+from pyk.kast.prelude.kint import INT, intToken
 from pyk.kllvm.convert import llvm_to_pattern, pattern_to_llvm
 from pyk.kore.match import kore_int
-from pyk.prelude.kint import INT, intToken
 
 from kriscv import build, term_builder
 from kriscv.term_builder import register