Merge branch 'master' into _update-deps/runtimeverification/wasm-semantics

Author: bbyalcinkaya

.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