Skip to content

Update dependency: deps/kwasm_release #328

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

Open
rv-jenkins wants to merge 132 commits into
base: master
Choose a base branch
from
Open

Update dependency: deps/kwasm_release #328

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
132 commits
Select commit Hold shift + click to select a range
31bbffc
deps/kwasm_release: Set Version 0.1.107
rv-auditor Sep 24, 2024
41b04cb
Set Version: 0.1.116
rv-auditor Sep 24, 2024
125daa2
kmultiversx/: sync poetry files 0.1.107
rv-auditor Sep 24, 2024
a6349fb
deps/k_release: sync release file version 7.1.149
rv-auditor Sep 24, 2024
16d39b2
flake.{nix,lock}: update Nix derivations
rv-auditor Sep 24, 2024
81239e9
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
rv-auditor Sep 30, 2024
8c7f48f
deps/kwasm_release: Set Version 0.1.108
rv-auditor Sep 30, 2024
45f774c
Set Version: 0.1.117
rv-auditor Sep 30, 2024
e8438dd
kmultiversx/: sync poetry files 0.1.108
rv-auditor Sep 30, 2024
2cc9b84
deps/k_release: sync release file version 7.1.151
rv-auditor Sep 30, 2024
8f80fd8
flake.{nix,lock}: update Nix derivations
rv-auditor Sep 30, 2024
728827b
deps/kwasm_release: Set Version 0.1.109
rv-auditor Oct 7, 2024
29922a4
kmultiversx/: sync poetry files 0.1.109
rv-auditor Oct 7, 2024
f5f6e37
deps/k_release: sync release file version 7.1.155
rv-auditor Oct 7, 2024
d42349e
flake.{nix,lock}: update Nix derivations
rv-auditor Oct 7, 2024
c8ad6cf
deps/kwasm_release: Set Version 0.1.110
rv-auditor Oct 15, 2024
bcd4184
kmultiversx/: sync poetry files 0.1.110
rv-auditor Oct 15, 2024
293fdcb
deps/k_release: sync release file version 7.1.158
rv-auditor Oct 15, 2024
8a8c27b
flake.{nix,lock}: update Nix derivations
rv-auditor Oct 15, 2024
50813b6
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
rv-auditor Oct 21, 2024
7e21a17
deps/kwasm_release: Set Version 0.1.111
rv-auditor Oct 21, 2024
28106d6
Set Version: 0.1.118
rv-auditor Oct 21, 2024
ed87930
kmultiversx/: sync poetry files 0.1.111
rv-auditor Oct 21, 2024
b485b07
deps/k_release: sync release file version 7.1.164
rv-auditor Oct 21, 2024
c671d04
flake.{nix,lock}: update Nix derivations
rv-auditor Oct 21, 2024
b9ae3cb
Merge branch 'master' into _update-deps/runtimeverification/wasm-sema…
rv-jenkins Oct 22, 2024
bd1e7c0
Set Version: 0.1.119
rv-auditor Oct 22, 2024
a4b5d63
kmultiversx/: sync poetry files 0.1.111
rv-auditor Oct 22, 2024
cb9a54e
deps/kwasm_release: Set Version 0.1.112
rv-auditor Oct 23, 2024
04fff3c
kmultiversx/: sync poetry files 0.1.112
rv-auditor Oct 23, 2024
f513533
deps/k_release: sync release file version 7.1.165
rv-auditor Oct 23, 2024
dd9a996
flake.{nix,lock}: update Nix derivations
rv-auditor Oct 23, 2024
98f3ddb
deps/kwasm_release: Set Version 0.1.113
rv-auditor Oct 30, 2024
e81517b
kmultiversx/: sync poetry files 0.1.113
rv-auditor Oct 30, 2024
a028754
deps/k_release: sync release file version 7.1.167
rv-auditor Oct 30, 2024
ba2990e
flake.{nix,lock}: update Nix derivations
rv-auditor Oct 30, 2024
f754217
Merge branch 'master' into _update-deps/runtimeverification/wasm-sema…
F-WRunTime Nov 22, 2024
8681147
Set Version: 0.1.120
rv-auditor Nov 22, 2024
cdea2d5
kmultiversx/: sync poetry files 0.1.113
rv-auditor Nov 22, 2024
e238676
deps/kwasm_release: Set Version 0.1.115
rv-auditor Nov 28, 2024
7273a1e
kmultiversx/: sync poetry files 0.1.115
rv-auditor Nov 28, 2024
0ff16c8
deps/k_release: sync release file version 7.1.180
rv-auditor Nov 28, 2024
980c897
flake.{nix,lock}: update Nix derivations
rv-auditor Nov 28, 2024
34554cb
deps/kwasm_release: Set Version 0.1.116
rv-auditor Dec 4, 2024
c437de1
kmultiversx/: sync poetry files 0.1.116
rv-auditor Dec 4, 2024
0e065f5
deps/k_release: sync release file version 7.1.182
rv-auditor Dec 4, 2024
e004b7e
flake.{nix,lock}: update Nix derivations
rv-auditor Dec 4, 2024
68bdc26
deps/kwasm_release: Set Version 0.1.117
rv-auditor Dec 11, 2024
1d924c9
kmultiversx/: sync poetry files 0.1.117
rv-auditor Dec 11, 2024
cf06c9f
deps/k_release: sync release file version 7.1.186
rv-auditor Dec 11, 2024
add1167
flake.{nix,lock}: update Nix derivations
rv-auditor Dec 11, 2024
f25b103
deps/kwasm_release: Set Version 0.1.118
rv-auditor Dec 20, 2024
ea8358e
kmultiversx/: sync poetry files 0.1.118
rv-auditor Dec 20, 2024
bda92f6
deps/k_release: sync release file version 7.1.191
rv-auditor Dec 20, 2024
3965e83
flake.{nix,lock}: update Nix derivations
rv-auditor Dec 20, 2024
46e234b
deps/kwasm_release: Set Version 0.1.119
rv-auditor Jan 29, 2025
23cbe4c
kmultiversx/: sync poetry files 0.1.119
rv-auditor Jan 29, 2025
04130c1
flake.{nix,lock}: update Nix derivations
rv-auditor Jan 29, 2025
a9ad0d9
deps/kwasm_release: Set Version 0.1.120
rv-auditor Feb 6, 2025
0624955
kmultiversx/: sync poetry files 0.1.120
rv-auditor Feb 6, 2025
52ac353
flake.{nix,lock}: update Nix derivations
rv-auditor Feb 6, 2025
c92ef7f
kmultiversx/src/kmultiversx/kdist/plugin: Set Version 759ce7f63b19336…
rv-auditor Feb 6, 2025
3fbc9b6
Set Version: 0.1.120
rv-auditor Feb 6, 2025
43966cc
kmultiversx/: sync poetry files 0.1.106
rv-auditor Feb 6, 2025
4dc2d4e
deps/blockchain-k-plugin_release: sync release file version 759ce7f63…
rv-auditor Feb 6, 2025
a74d2c3
flake.{nix,lock}: update Nix derivations
rv-auditor Feb 6, 2025
bdd8265
kmultiversx/src/kmultiversx/kdist/plugin: Set Version ed8437b23508e5b…
rv-auditor Feb 10, 2025
8cc2c7b
kmultiversx/: sync poetry files 0.1.106
rv-auditor Feb 10, 2025
a6f073a
deps/blockchain-k-plugin_release: sync release file version ed8437b23…
rv-auditor Feb 10, 2025
bc1ecb7
flake.{nix,lock}: update Nix derivations
rv-auditor Feb 10, 2025
67db746
kmultiversx/src/kmultiversx/kdist/plugin: Set Version e0b9fcf17c83785…
rv-auditor Feb 18, 2025
a740bb9
kmultiversx/: sync poetry files 0.1.106
rv-auditor Feb 18, 2025
c4abefb
deps/blockchain-k-plugin_release: sync release file version e0b9fcf17…
rv-auditor Feb 18, 2025
b5235ef
flake.{nix,lock}: update Nix derivations
rv-auditor Feb 18, 2025
aebf184
kmultiversx/src/kmultiversx/kdist/plugin: Set Version 651a2db5afc1789…
rv-auditor Mar 7, 2025
78a0726
kmultiversx/: sync poetry files 0.1.106
rv-auditor Mar 7, 2025
5cbf149
deps/blockchain-k-plugin_release: sync release file version 651a2db5a…
rv-auditor Mar 7, 2025
80a499c
flake.{nix,lock}: update Nix derivations
rv-auditor Mar 7, 2025
e3abf86
deps/kwasm_release: Set Version 0.1.121
rv-auditor Mar 14, 2025
3d4d7d4
kmultiversx/: sync poetry files 0.1.121
rv-auditor Mar 14, 2025
0db1358
deps/k_release: sync release file version 7.1.222
rv-auditor Mar 14, 2025
37d04a3
flake.{nix,lock}: update Nix derivations
rv-auditor Mar 14, 2025
5d00bd4
Update Dockerfile
bbyalcinkaya Mar 18, 2025
a95c8b1
kmultiversx/: sync poetry files 0.1.121
rv-auditor Mar 18, 2025
9d34703
deps/kwasm_release: Set Version 0.1.122
rv-auditor Mar 18, 2025
861ebd3
kmultiversx/: sync poetry files 0.1.122
rv-auditor Mar 18, 2025
43a7c9e
deps/k_release: sync release file version 7.1.228
rv-auditor Mar 18, 2025
d032a52
flake.{nix,lock}: update Nix derivations
rv-auditor Mar 18, 2025
663d8f5
deps/kwasm_release: Set Version 0.1.123
rv-auditor Mar 19, 2025
5e16d19
kmultiversx/: sync poetry files 0.1.123
rv-auditor Mar 19, 2025
e3d9343
deps/k_release: sync release file version 7.1.229
rv-auditor Mar 19, 2025
4a69ccd
flake.{nix,lock}: update Nix derivations
rv-auditor Mar 19, 2025
77c3b4c
deps/kwasm_release: Set Version 0.1.124
rv-auditor Mar 21, 2025
2c6b719
kmultiversx/: sync poetry files 0.1.124
rv-auditor Mar 21, 2025
c0792d6
deps/k_release: sync release file version 7.1.230
rv-auditor Mar 21, 2025
fdc5598
flake.{nix,lock}: update Nix derivations
rv-auditor Mar 21, 2025
c662ad3
deps/kwasm_release: Set Version 0.1.125
rv-auditor Apr 17, 2025
8552dfd
kmultiversx/: sync poetry files 0.1.125
rv-auditor Apr 17, 2025
a6823ff
deps/k_release: sync release file version 7.1.240
rv-auditor Apr 17, 2025
a1924cf
flake.{nix,lock}: update Nix derivations
rv-auditor Apr 17, 2025
aef2da3
kmultiversx/: sync poetry files 0.1.125
rv-auditor Apr 17, 2025
375c6e6
deps/kwasm_release: Set Version 0.1.126
rv-auditor Apr 17, 2025
a4a5245
kmultiversx/: sync poetry files 0.1.126
rv-auditor Apr 17, 2025
91ab194
deps/k_release: sync release file version 7.1.241
rv-auditor Apr 17, 2025
78f4971
flake.{nix,lock}: update Nix derivations
rv-auditor Apr 17, 2025
3a27776
kmultiversx/src/kmultiversx/kdist/plugin: Set Version 5341429abcb23d5…
rv-auditor Apr 30, 2025
8325f95
kmultiversx/: sync poetry files 0.1.106
rv-auditor Apr 30, 2025
992568d
deps/blockchain-k-plugin_release: sync release file version 5341429ab…
rv-auditor Apr 30, 2025
b6186cb
flake.{nix,lock}: update Nix derivations
rv-auditor Apr 30, 2025
7b89539
kmultiversx/src/kmultiversx/kdist/plugin: Set Version c7d635c68b2146f…
rv-auditor May 5, 2025
c277902
kmultiversx/: sync poetry files 0.1.106
rv-auditor May 5, 2025
b943436
deps/blockchain-k-plugin_release: sync release file version c7d635c68…
rv-auditor May 5, 2025
6e2fe54
flake.{nix,lock}: update Nix derivations
rv-auditor May 5, 2025
3649edc
deps/kwasm_release: Set Version 0.1.127
rv-auditor May 13, 2025
3cb2459
kmultiversx/: sync poetry files 0.1.127
rv-auditor May 13, 2025
47152e6
deps/k_release: sync release file version 7.1.253
rv-auditor May 13, 2025
5b76d74
flake.{nix,lock}: update Nix derivations
rv-auditor May 13, 2025
682b42e
kmultiversx/src/kmultiversx/kdist/plugin: Set Version 568702a7b89f057…
rv-auditor May 16, 2025
99d66e3
kmultiversx/: sync poetry files 0.1.106
rv-auditor May 16, 2025
0185c47
deps/blockchain-k-plugin_release: sync release file version 568702a7b…
rv-auditor May 16, 2025
dc64b0f
flake.{nix,lock}: update Nix derivations
rv-auditor May 16, 2025
d456d08
deps/kwasm_release: Set Version 0.1.128
rv-auditor May 20, 2025
5a6e59c
kmultiversx/: sync poetry files 0.1.128
rv-auditor May 20, 2025
26ba091
deps/k_release: sync release file version 7.1.257
rv-auditor May 20, 2025
335c3a0
flake.{nix,lock}: update Nix derivations
rv-auditor May 20, 2025
1098376
kmultiversx/src/kmultiversx/kdist/plugin: Set Version 1fda07d61df64ef…
rv-auditor May 21, 2025
0273094
kmultiversx/: sync poetry files 0.1.106
rv-auditor May 21, 2025
296a3d8
deps/blockchain-k-plugin_release: sync release file version 1fda07d61…
rv-auditor May 21, 2025
d03923c
flake.{nix,lock}: update Nix derivations
rv-auditor May 21, 2025
8e32f6f
fix imports
bbyalcinkaya Jun 25, 2025
4f67450
kmultiversx/: sync poetry files 0.1.128
rv-auditor Jun 25, 2025
81579a2
Merge remote-tracking branch 'origin/_update-deps/runtimeverification…
bbyalcinkaya Jun 25, 2025
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 Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ RUN apt-get update \
python3-venv \
wabt

RUN curl -sSL https://install.python-poetry.org | POETRY_HOME=/usr python3 - \
RUN curl -sSL https://install.python-poetry.org | POETRY_HOME=/usr POETRY_VERSION=1.8.3 python3 - \
&& poetry --version

ARG USER=github-user
Expand Down
2 changes: 1 addition & 1 deletion deps/blockchain-k-plugin_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
c9264b240c00d1f6cc20e22aac83c94d1a499138
1fda07d61df64ef9ae2ea87e6f767a02d30d4599
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.257
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.128
Loading
Loading