Fix imports

Author: tothtamas28

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