From 0f263f6c85ce545d573133e3a3f7bef9be1294c6 Mon Sep 17 00:00:00 2001 From: F-WRunTime Date: Mon, 31 Mar 2025 12:51:03 -0600 Subject: [PATCH 1/2] Adding mir-semantics (kmir) to kup --- src/kup/__main__.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/kup/__main__.py b/src/kup/__main__.py index ddbfb26..26fd046 100644 --- a/src/kup/__main__.py +++ b/src/kup/__main__.py @@ -68,6 +68,7 @@ GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol'), branch='release'), GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')), GithubPackage('runtimeverification', 'komet', PackageName('komet')), + GithubPackage('runtimeverification', 'kmir', PackageName('kmir')), ] From a720c48d522f60a4312a82646cfa8c59886d11a8 Mon Sep 17 00:00:00 2001 From: F-WRunTime Date: Mon, 31 Mar 2025 12:58:01 -0600 Subject: [PATCH 2/2] modified: src/kup/__main__.py - Definition reference to kmir lacks package defintions likely in the mir-semantics repository to install kmir by running `kup install kmir` - This changes fixes install to package name 'mir-semantics' by calling `kup install mir-semantics` - After install CLI tool `kmir` is available --- src/kup/__main__.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/kup/__main__.py b/src/kup/__main__.py index 26fd046..6a32c06 100644 --- a/src/kup/__main__.py +++ b/src/kup/__main__.py @@ -64,11 +64,10 @@ GithubPackage('runtimeverification', 'avm-semantics', PackageName('kavm')), GithubPackage('runtimeverification', 'evm-semantics', PackageName('kevm'), branch='release'), GithubPackage('runtimeverification', 'plutus-core-semantics', PackageName('kplutus')), - GithubPackage('runtimeverification', 'mir-semantics', PackageName('kmir')), GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol'), branch='release'), GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')), GithubPackage('runtimeverification', 'komet', PackageName('komet')), - GithubPackage('runtimeverification', 'kmir', PackageName('kmir')), + GithubPackage('runtimeverification', 'mir-semantics', PackageName('mir-semantics'), branch='master'), ]