Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update dependency: deps/kwasm_release #328

Open
wants to merge 55 commits into
base: master
Choose a base branch
from
+262 −191
Open

Update dependency: deps/kwasm_release #328

Show file tree
Hide file tree
Changes from 26 commits
Commits
Show all changes
55 commits
Select commit Hold shift + click to select a range
31bbffc
deps/kwasm_release: Set Version 0.1.107
Sep 24, 2024
41b04cb
Set Version: 0.1.116
Sep 24, 2024
125daa2
kmultiversx/: sync poetry files 0.1.107
Sep 24, 2024
a6349fb
deps/k_release: sync release file version 7.1.149
Sep 24, 2024
16d39b2
flake.{nix,lock}: update Nix derivations
Sep 24, 2024
81239e9
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
Sep 30, 2024
8c7f48f
deps/kwasm_release: Set Version 0.1.108
Sep 30, 2024
45f774c
Set Version: 0.1.117
Sep 30, 2024
e8438dd
kmultiversx/: sync poetry files 0.1.108
Sep 30, 2024
2cc9b84
deps/k_release: sync release file version 7.1.151
Sep 30, 2024
8f80fd8
flake.{nix,lock}: update Nix derivations
Sep 30, 2024
728827b
deps/kwasm_release: Set Version 0.1.109
Oct 7, 2024
29922a4
kmultiversx/: sync poetry files 0.1.109
Oct 7, 2024
f5f6e37
deps/k_release: sync release file version 7.1.155
Oct 7, 2024
d42349e
flake.{nix,lock}: update Nix derivations
Oct 7, 2024
c8ad6cf
deps/kwasm_release: Set Version 0.1.110
Oct 15, 2024
bcd4184
kmultiversx/: sync poetry files 0.1.110
Oct 15, 2024
293fdcb
deps/k_release: sync release file version 7.1.158
Oct 15, 2024
8a8c27b
flake.{nix,lock}: update Nix derivations
Oct 15, 2024
50813b6
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
Oct 21, 2024
7e21a17
deps/kwasm_release: Set Version 0.1.111
Oct 21, 2024
28106d6
Set Version: 0.1.118
Oct 21, 2024
ed87930
kmultiversx/: sync poetry files 0.1.111
Oct 21, 2024
b485b07
deps/k_release: sync release file version 7.1.164
Oct 21, 2024
c671d04
flake.{nix,lock}: update Nix derivations
Oct 21, 2024
b9ae3cb
Merge branch 'master' into _update-deps/runtimeverification/wasm-sema…
rv-jenkins Oct 22, 2024
bd1e7c0
Set Version: 0.1.119
Oct 22, 2024
a4b5d63
kmultiversx/: sync poetry files 0.1.111
Oct 22, 2024
cb9a54e
deps/kwasm_release: Set Version 0.1.112
Oct 23, 2024
04fff3c
kmultiversx/: sync poetry files 0.1.112
Oct 23, 2024
f513533
deps/k_release: sync release file version 7.1.165
Oct 23, 2024
dd9a996
flake.{nix,lock}: update Nix derivations
Oct 23, 2024
98f3ddb
deps/kwasm_release: Set Version 0.1.113
Oct 30, 2024
e81517b
kmultiversx/: sync poetry files 0.1.113
Oct 30, 2024
a028754
deps/k_release: sync release file version 7.1.167
Oct 30, 2024
ba2990e
flake.{nix,lock}: update Nix derivations
Oct 30, 2024
f754217
Merge branch 'master' into _update-deps/runtimeverification/wasm-sema…
F-WRunTime Nov 22, 2024
8681147
Set Version: 0.1.120
Nov 22, 2024
cdea2d5
kmultiversx/: sync poetry files 0.1.113
Nov 22, 2024
e238676
deps/kwasm_release: Set Version 0.1.115
Nov 28, 2024
7273a1e
kmultiversx/: sync poetry files 0.1.115
Nov 28, 2024
0ff16c8
deps/k_release: sync release file version 7.1.180
Nov 28, 2024
980c897
flake.{nix,lock}: update Nix derivations
Nov 28, 2024
34554cb
deps/kwasm_release: Set Version 0.1.116
Dec 4, 2024
c437de1
kmultiversx/: sync poetry files 0.1.116
Dec 4, 2024
0e065f5
deps/k_release: sync release file version 7.1.182
Dec 4, 2024
e004b7e
flake.{nix,lock}: update Nix derivations
Dec 4, 2024
68bdc26
deps/kwasm_release: Set Version 0.1.117
Dec 11, 2024
1d924c9
kmultiversx/: sync poetry files 0.1.117
Dec 11, 2024
cf06c9f
deps/k_release: sync release file version 7.1.186
Dec 11, 2024
add1167
flake.{nix,lock}: update Nix derivations
Dec 11, 2024
f25b103
deps/kwasm_release: Set Version 0.1.118
Dec 20, 2024
ea8358e
kmultiversx/: sync poetry files 0.1.118
Dec 20, 2024
bda92f6
deps/k_release: sync release file version 7.1.191
Dec 20, 2024
3965e83
flake.{nix,lock}: update Nix derivations
Dec 20, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion deps/k_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7.1.140
7.1.164
2 changes: 1 addition & 1 deletion deps/kwasm_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.106
0.1.111
50 changes: 25 additions & 25 deletions flake.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
description = "K Semantics of MultiversX";

inputs = {
wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.106";
wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.111";
k-framework.follows = "wasm-semantics/k-framework";
nixpkgs.follows = "k-framework/nixpkgs";
flake-utils.follows = "k-framework/flake-utils";
Expand Down
16 changes: 8 additions & 8 deletions kmultiversx/poetry.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion kmultiversx/pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ mx-semantics = "kmultiversx.kdist.plugin"

[tool.poetry.dependencies]
python = "^3.10"
pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.106", subdirectory = "pykwasm" }
pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.111", subdirectory = "pykwasm" }
pycryptodomex = "^3.18.0"
hypothesis = "^6.82.6"
exceptiongroup = "==1.2.1"
Expand Down
Loading