Rename ksoroban to komet (#31)

* rename occurences

* rename directory

* rename ksoroban.py

* rename lemma file

* Set Version: 0.1.23

* Set Version: 0.1.24

---------

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

.cruft.json

@@ -4,9 +4,9 @@
   "checkout": null,
   "context": {
     "cookiecutter": {
-      "project_name": "ksoroban",
-      "project_slug": "ksoroban",
-      "package_name": "ksoroban",
+      "project_name": "komet",
+      "project_slug": "komet",
+      "package_name": "komet",
       "version": "0.1.0",
       "description": "K tooling for the Soroban platform",
       "author_name": "Runtime Verification, Inc.",

.github/workflows/test.yml

@@ -51,7 +51,7 @@ jobs:
     name: 'Integration Tests'
     runs-on: [self-hosted, linux, normal]
     env:
-      CONTAINER: ksoroban-integration-${{ github.sha }}
+      CONTAINER: komet-integration-${{ github.sha }}
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v3
@@ -61,7 +61,7 @@ jobs:
         uses: ./.github/actions/with-docker
         with:
           container-name: ${CONTAINER}
-      - name: 'Build ksoroban'
+      - name: 'Build komet'
         run: docker exec --user user ${CONTAINER} poetry install
       - name: 'Build semantics'
         run: docker exec --user user ${CONTAINER} make kdist-build

Makefile

@@ -51,7 +51,7 @@ COV_ARGS :=
 
 cov: cov-all
 
-cov-%: TEST_ARGS += --cov=ksoroban --no-cov-on-fail --cov-branch --cov-report=term
+cov-%: TEST_ARGS += --cov=komet --no-cov-on-fail --cov-branch --cov-report=term
 
 cov-all: TEST_ARGS += --cov-report=html:cov-all-html $(COV_ARGS)
 cov-all: test-all

README.md

@@ -1,4 +1,4 @@
-# ksoroban
+# komet
 
 
 ## Installation

flake.nix

@@ -66,7 +66,7 @@
               mkdir -p $out
               cp -r ./kdist-*/* $out/
 
-              makeWrapper ${komet-pyk}/bin/ksoroban $out/bin/ksoroban --prefix PATH : ${
+              makeWrapper ${komet-pyk}/bin/komet $out/bin/komet --prefix PATH : ${
                 prev.lib.makeBinPath [ k-framework.packages.${prev.system}.k ]
               } --set KDIST_DIR $out
             '';

package/version

@@ -1 +1 @@
-0.1.23
+0.1.24

pyproject.toml

@@ -3,18 +3,18 @@ requires = ["poetry-core"]
 build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
-name = "ksoroban"
-version = "0.1.23"
+name = "komet"
+version = "0.1.24"
 description = "K tooling for the Soroban platform"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",
 ]
 
 [tool.poetry.scripts]
-ksoroban = "ksoroban.ksoroban:main"
+komet = "komet.komet:main"
 
 [tool.poetry.plugins.kdist]
-soroban-semantics = "ksoroban.kdist.plugin"
+soroban-semantics = "komet.kdist.plugin"
 
 [tool.poetry.dependencies]
 python = "^3.10"

src/ksoroban/kasmer.py → src/komet/kasmer.py

@@ -119,7 +119,7 @@ def build_soroban_contract(self, contract_path: Path, out_dir: Path | None = Non
         contract_stem = self.contract_manifest(contract_path)['name']
         contract_name = f'{contract_stem}.wasm'
         if out_dir is None:
-            out_dir = Path(mkdtemp(f'ksoroban_{str(contract_path.stem)}'))
+            out_dir = Path(mkdtemp(f'komet_{str(contract_path.stem)}'))
 
         run_process([str(self._soroban_bin), 'contract', 'build', '--out-dir', str(out_dir)], cwd=contract_path)
 

src/ksoroban/kdist/soroban-semantics/kasmer.md → src/komet/kdist/soroban-semantics/kasmer.md

@@ -2,7 +2,7 @@
 ```k
 requires "soroban.md"
 requires "cheatcodes.md"
-requires "ksoroban-lemmas.md"
+requires "komet-lemmas.md"
 
 module KASMER-SYNTAX
   imports WASM-TEXT-SYNTAX

src/ksoroban/ksoroban.py → src/komet/komet.py

@@ -127,7 +127,7 @@ def _exit_with_output(cp: CompletedProcess) -> None:
 
 
 def _argument_parser() -> ArgumentParser:
-    parser = ArgumentParser(prog='ksoroban')
+    parser = ArgumentParser(prog='komet')
     command_parser = parser.add_subparsers(dest='command', required=True)
 
     run_parser = command_parser.add_parser('run', help='run a concrete test')

src/tests/integration/data/soroban/contracts/test_adder/README.md

@@ -1,4 +1,4 @@
-A quick example of a contract that can be ran with `ksoroban test`
+A quick example of a contract that can be ran with `komet test`
 
 You will need to have the stellar cli utils installed:
 https://developers.stellar.org/docs/build/smart-contracts/getting-started/setup
@@ -12,7 +12,7 @@ And then (from this directory):
 
 ```sh
 soroban contract build --out-dir output
-ksoroban test output/test_adder.wasm
+komet test output/test_adder.wasm
 ```
 
-`ksoroban test` should exit successfully
+`komet test` should exit successfully

src/tests/integration/data/soroban/contracts/test_storage/README.md

@@ -1,4 +1,4 @@
-A quick example of a contract that can be ran with `ksoroban test`
+A quick example of a contract that can be ran with `komet test`
 
 You will need to have the stellar cli utils installed:
 https://developers.stellar.org/docs/build/smart-contracts/getting-started/setup
@@ -12,7 +12,7 @@ And then (from this directory):
 
 ```sh
 soroban contract build --out-dir output
-ksoroban test output/test_storage.wasm
+komet test output/test_storage.wasm
 ```
 
-`ksoroban test` should exit successfully
+`komet test` should exit successfully

src/tests/integration/data/soroban/contracts/test_ttl/README.md

@@ -1,4 +1,4 @@
-A quick example of a contract that can be ran with `ksoroban test`
+A quick example of a contract that can be ran with `komet test`
 
 You will need to have the stellar cli utils installed:
 https://developers.stellar.org/docs/build/smart-contracts/getting-started/setup
@@ -12,7 +12,7 @@ And then (from this directory):
 
 ```sh
 soroban contract build --out-dir output
-ksoroban test output/test_adder.wasm
+komet test output/test_adder.wasm
 ```
 
-`ksoroban test` should exit successfully
+`komet test` should exit successfully

src/tests/integration/test_integration.py

@@ -5,8 +5,8 @@
 from pyk.kdist import kdist
 from pyk.ktool.krun import _krun
 
-from ksoroban.kasmer import Kasmer
-from ksoroban.utils import concrete_definition, symbolic_definition
+from komet.kasmer import Kasmer
+from komet.utils import concrete_definition, symbolic_definition
 
 TEST_DATA = (Path(__file__).parent / 'data').resolve(strict=True)
 TEST_FILES = TEST_DATA.glob('*.wast')
@@ -33,7 +33,7 @@ def test_run(program: Path, tmp_path: Path) -> None:
 
 
 @pytest.mark.parametrize('contract_path', SOROBAN_TEST_CONTRACTS, ids=lambda p: str(p.stem))
-def test_ksoroban(contract_path: Path, tmp_path: Path, concrete_kasmer: Kasmer) -> None:
+def test_komet(contract_path: Path, tmp_path: Path, concrete_kasmer: Kasmer) -> None:
     # Given
     contract_wasm = concrete_kasmer.build_soroban_contract(contract_path, tmp_path)
 

src/tests/unit/test_unit.py

@@ -1,4 +1,4 @@
-from ksoroban.hello import hello
+from komet.hello import hello
 
 
 def test_hello() -> None: