Move K files into a separate directory (#608)

* Move K files into a separate directory

THis provides a namespace when requiring files from a K definition.

* Set Version: 0.1.29

---------

Co-authored-by: devops <[email protected]>

Makefile

@@ -34,8 +34,6 @@ CHECK := git --no-pager diff --no-index --ignore-all-space -R
 TEST_CONCRETE_BACKEND := llvm
 TEST_SYMBOLIC_BACKEND := haskell
 
-SOURCE_DIR := pykwasm/src/pykwasm/kdist
-
 test: test-execution test-prove
 
 # Generic Test Harnesses
@@ -56,6 +54,8 @@ tests/%.parse: tests/%
 	$(TEST) kast --backend $(TEST_CONCRETE_BACKEND) $< kast > $@-out
 	rm -rf $@-out
 
+SOURCE_DIR := pykwasm/src/pykwasm/kdist/wasm-semantics
+
 tests/%.prove: tests/%
 	$(TEST) prove --backend $(TEST_SYMBOLIC_BACKEND) $< kwasm-lemmas -I $(SOURCE_DIR)
 

package/version

@@ -1 +1 @@
-0.1.28
+0.1.29

pykwasm/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pykwasm"
-version = "0.1.28"
+version = "0.1.29"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

pykwasm/src/pykwasm/kdist/plugin.py

@@ -13,6 +13,7 @@
 
 
 SOURCE_DIR: Final = Path(__file__).parent
+K_DIR: Final = SOURCE_DIR / 'wasm-semantics'
 
 
 class KompileTarget(Target):
@@ -39,7 +40,7 @@ def context(self) -> dict[str, str]:
     'llvm': KompileTarget(
         {
             'backend': KompileBackend.LLVM,
-            'main_file': SOURCE_DIR / 'test.md',
+            'main_file': K_DIR / 'test.md',
             'main_module': 'WASM-TEST',
             'syntax_module': 'WASM-TEST-SYNTAX',
             'md_selector': 'k',
@@ -51,7 +52,7 @@ def context(self) -> dict[str, str]:
     'kwasm-lemmas': KompileTarget(
         {
             'backend': KompileBackend.HASKELL,
-            'main_file': SOURCE_DIR / 'kwasm-lemmas.md',
+            'main_file': K_DIR / 'kwasm-lemmas.md',
             'main_module': 'KWASM-LEMMAS',
             'syntax_module': 'WASM-TEXT-SYNTAX',
             'md_selector': 'k',
@@ -61,7 +62,7 @@ def context(self) -> dict[str, str]:
     'wrc20': KompileTarget(
         {
             'backend': KompileBackend.HASKELL,
-            'main_file': SOURCE_DIR / 'wrc20.md',
+            'main_file': K_DIR / 'wrc20.md',
             'main_module': 'WRC20-LEMMAS',
             'syntax_module': 'WASM-TEXT-SYNTAX',
             'md_selector': 'k',