Skip to content

Commit f432bd4

Browse files
Update dependency: deps/kwasm_release (#71)
* deps/kwasm_release: Set Version 0.1.122 * Set Version: 0.1.61 * Sync Poetry files 0.1.122 * deps/k_release: sync release file version 7.1.228 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <devops@runtimeverification.com>
1 parent a3d3a46 commit f432bd4

7 files changed

Lines changed: 119 additions & 98 deletions

File tree

deps/k_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
7.1.222
1+
7.1.228

deps/kwasm_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0.1.121
1+
0.1.122

flake.lock

Lines changed: 11 additions & 11 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

flake.nix

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
description = "komet - K tooling for the Soroban platform";
33

44
inputs = {
5-
wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.121";
5+
wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.122";
66
k-framework.follows = "wasm-semantics/k-framework";
77
nixpkgs.follows = "k-framework/nixpkgs";
88
flake-utils.follows = "k-framework/flake-utils";

package/version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0.1.60
1+
0.1.61

poetry.lock

Lines changed: 102 additions & 81 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

pyproject.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
44

55
[tool.poetry]
66
name = "komet"
7-
version = "0.1.60"
7+
version = "0.1.61"
88
description = "K tooling for the Soroban platform"
99
authors = [
1010
"Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -18,7 +18,7 @@ soroban-semantics = "komet.kdist.plugin"
1818

1919
[tool.poetry.dependencies]
2020
python = "^3.10"
21-
pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.121", subdirectory = "pykwasm" }
21+
pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.122", subdirectory = "pykwasm" }
2222

2323
[tool.poetry.group.dev.dependencies]
2424
autoflake = "*"

0 commit comments

Comments
 (0)