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

Jump to bottom

Update dependency: deps/k_release #699

Merged
merged 29 commits into from
Sep 24, 2024
Merged

Update dependency: deps/k_release #699

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
29963d5
deps/k_release: Set Version 7.1.141
Sep 11, 2024
41d0ed5
Set Version: 0.1.107
Sep 11, 2024
6e07816
pykwasm/: sync poetry files 7.1.141
Sep 11, 2024
43f710a
flake.{nix,lock}: update Nix derivations
Sep 11, 2024
b63b809
deps/k_release: Set Version 7.1.142
Sep 12, 2024
745a862
pykwasm/: sync poetry files 7.1.142
Sep 12, 2024
c3dfa43
flake.{nix,lock}: update Nix derivations
Sep 12, 2024
e0ee068
deps/k_release: Set Version 7.1.143
Sep 17, 2024
e6315a0
pykwasm/: sync poetry files 7.1.143
Sep 17, 2024
de46bb6
flake.{nix,lock}: update Nix derivations
Sep 17, 2024
f2fe9fa
deps/k_release: Set Version 7.1.144
Sep 17, 2024
4f46daf
pykwasm/: sync poetry files 7.1.144
Sep 17, 2024
e2903bb
flake.{nix,lock}: update Nix derivations
Sep 17, 2024
647baba
deps/k_release: Set Version 7.1.145
Sep 18, 2024
8aff9b5
pykwasm/: sync poetry files 7.1.145
Sep 18, 2024
58bd9be
flake.{nix,lock}: update Nix derivations
Sep 18, 2024
324407b
deps/k_release: Set Version 7.1.146
Sep 19, 2024
bb1dd69
pykwasm/: sync poetry files 7.1.146
Sep 19, 2024
be10d09
flake.{nix,lock}: update Nix derivations
Sep 19, 2024
f267cad
deps/k_release: Set Version 7.1.147
Sep 20, 2024
55fbb6b
pykwasm/: sync poetry files 7.1.147
Sep 20, 2024
bc0b75f
flake.{nix,lock}: update Nix derivations
Sep 20, 2024
beb984a
deps/k_release: Set Version 7.1.148
Sep 20, 2024
11debe3
pykwasm/: sync poetry files 7.1.148
Sep 20, 2024
70cf798
flake.{nix,lock}: update Nix derivations
Sep 20, 2024
00a67c2
deps/k_release: Set Version 7.1.149
Sep 22, 2024
1018c6d
pykwasm/: sync poetry files 7.1.149
Sep 22, 2024
e153832
flake.{nix,lock}: update Nix derivations
Sep 22, 2024
74f3fa8
add missing attributes to List modules
dwightguth Sep 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.149
34 changes: 17 additions & 17 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 WebAssembly";

inputs = {
k-framework.url = "github:runtimeverification/k/v7.1.140";
k-framework.url = "github:runtimeverification/k/v7.1.149";
nixpkgs.follows = "k-framework/nixpkgs";
flake-utils.follows = "k-framework/flake-utils";
rv-utils.follows = "k-framework/rv-utils";
Expand Down
2 changes: 1 addition & 1 deletion package/version
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.106
0.1.107
77 changes: 42 additions & 35 deletions pykwasm/poetry.lock
View file
Open in desktop

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

4 changes: 2 additions & 2 deletions pykwasm/pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"

[tool.poetry]
name = "pykwasm"
version = "0.1.106"
version = "0.1.107"
description = ""
authors = [
"Runtime Verification, Inc. <[email protected]>",
Expand All @@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin"
python = "^3.10"
cytoolz = "^0.12.1"
numpy = "^1.24.2"
kframework = "7.1.140"
kframework = "7.1.149"
py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" }

[tool.poetry.group.dev.dependencies]
Expand Down
2 changes: 1 addition & 1 deletion pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-int.k
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ module LIST-INT
[ left, function, total, hook(LIST.concat),
symbol(_ListInt_), smtlib(smt_seq_concat),
assoc, unit(.ListInt), element(ListIntItem),
format(%1%n%2)
format(%1%n%2), update(ListInt:set)
]
syntax ListInt ::= ".ListInt"
[ function, total, hook(LIST.unit), symbol(.ListInt),
Expand Down
2 changes: 1 addition & 1 deletion pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-ref.k
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ module LIST-REF
[ left, function, total, hook(LIST.concat),
symbol(_ListRef_), smtlib(smt_seq_concat),
assoc, unit(.ListRef), element(ListRefItem),
format(%1%n%2)
format(%1%n%2), update(ListRef:set)
]
syntax ListRef ::= ".ListRef"
[ function, total, hook(LIST.unit), symbol(.ListRef),
Expand Down
Loading