Skip to content
This repository has been archived by the owner on Feb 15, 2024. It is now read-only.

Update dependency: deps/pyk_release #83

Merged
merged 14 commits into from
Jul 11, 2023
Merged

Update dependency: deps/pyk_release #83

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
ec953c3
deps/pyk_release: Set Version v0.1.360
Jul 7, 2023
a24f87b
poetry: sync poetry files pyk version v0.1.360
Jul 7, 2023
c710f5d
deps/pyk_release: Set Version v0.1.361
Jul 7, 2023
52e8505
poetry: sync poetry files pyk version v0.1.361
Jul 7, 2023
86b4981
deps/pyk_release: Set Version v0.1.362
Jul 10, 2023
653ce0f
poetry: sync poetry files pyk version v0.1.362
Jul 10, 2023
0962715
deps/k_release: sync release file version 6.0.10
Jul 10, 2023
ec3dd66
deps/k: sync K submodule version v6.0.10
Jul 10, 2023
3546f58
deps/pyk_release: Set Version v0.1.363
Jul 11, 2023
0732827
poetry: sync poetry files pyk version v0.1.363
Jul 11, 2023
269c32a
deps/pyk_release: Set Version v0.1.364
Jul 11, 2023
60dc23b
poetry: sync poetry files pyk version v0.1.364
Jul 11, 2023
c28d8fa
pyupgrade
nishantjr Jul 11, 2023
657cb78
deps/k: sync K submodule version v6.0.10
Jul 11, 2023
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
Open in desktop
Submodule k updated 33 files
+2 −3 .github/workflows/release.yml
+1 −4 .github/workflows/test-pr.yml
+18 −17 docs/user_manual.md
+715 −53 flake.lock
+9 −8 flake.nix
+1 −1 haskell-backend/src/main/native/haskell-backend
+1 −1 install-k
+1 −1 k-distribution/include/kframework/builtin/domains.md
+13 −12 k-distribution/k-tutorial/1_basic/04_disambiguation/README.md
+1 −1 k-distribution/k-tutorial/1_basic/05_modules/README.md
+1 −1 k-distribution/k-tutorial/1_basic/11_casts/README.md
+11 −13 k-distribution/pl-tutorial/1_k/4_imp++/lesson_8/imp.md
+3 −3 k-distribution/pl-tutorial/2_languages/1_simple/1_untyped/simple-untyped.md
+1 −1 k-distribution/pl-tutorial/2_languages/1_simple/2_typed/1_static/simple-typed-static.md
+2 −2 k-distribution/pl-tutorial/2_languages/3_fun/1_untyped/1_environment/fun-untyped.md
+1 −1 k-distribution/tests/regression-new/checks/checkGroup.k.out
+3 −0 k-distribution/tests/regression-new/checks/checkModuleAtts.k
+3 −0 k-distribution/tests/regression-new/checks/checkModuleAtts.k.out
+4 −3 k-distribution/tests/regression-new/group/test.k
+10 −5 kernel/src/main/java/org/kframework/backend/kore/ModuleToKORE.java
+0 −4 kernel/src/main/java/org/kframework/compile/GenerateSentencesFromConfigDecl.java
+16 −43 kernel/src/main/java/org/kframework/compile/ProcessGroupAttributes.java
+8 −0 kernel/src/main/java/org/kframework/compile/checks/CheckAtt.java
+5 −1 kernel/src/main/java/org/kframework/kompile/Kompile.java
+14 −8 kernel/src/main/java/org/kframework/parser/json/JsonParser.java
+4 −1 kernel/src/main/java/org/kframework/unparser/ToJson.java
+42 −10 kore/src/main/java/org/kframework/utils/StringUtil.java
+45 −4 kore/src/main/scala/org/kframework/attributes/Att.scala
+1 −1 llvm-backend/src/main/native/llvm-backend
+1 −0 nix/k.nix
+1 −1 package/arch/PKGBUILD
+1 −1 package/debian/changelog
+1 −1 package/version
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 @@
6.0.0
6.0.10
2 changes: 1 addition & 1 deletion deps/pyk_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
v0.1.359
v0.1.364
125 changes: 61 additions & 64 deletions poetry.lock
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ readme = "README.md"
python = "^3.10"
lark-parser = "^0.12.0"
pyyaml = "^6.0"
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.359" }
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.364" }
schema = "^0.7.5"
z3-solver = "^4.12.1.0"

Expand Down
2 changes: 1 addition & 1 deletion src/proof_generation/scripts/benchmark.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ def debug(msg: str) -> None:


def run_command(command: list[str], **kwargs: Any) -> subprocess.Popen:
command_str = ' '.join([shlex.quote(frag) for frag in command])
command_str = shlex.join(command)
debug(f"{ANSI.in_gray('+ ' + command_str)}")
return subprocess.Popen(command, **kwargs)

Expand Down
2 changes: 1 addition & 1 deletion src/proof_generation/scripts/proof_stats.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ def debug(msg: str) -> None:


def run_command(command: list[str], **kwargs: Any) -> subprocess.Popen:
command_str = ' '.join([shlex.quote(frag) for frag in command])
command_str = shlex.join(command)
debug(f"{ANSI.in_gray('+ ' + command_str)}")
return subprocess.Popen(command, **kwargs)

Expand Down
2 changes: 1 addition & 1 deletion src/proof_generation/scripts/prove_reachability.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@


def run_command(command: list[str], **kwargs: Any) -> subprocess.Popen:
command_str = ' '.join([shlex.quote(frag) for frag in command])
command_str = shlex.join(command)
print(f"{ANSI.in_gray('+ ' + command_str)}", file=sys.stderr)
return subprocess.Popen(command, **kwargs)

Expand Down
2 changes: 1 addition & 1 deletion src/proof_generation/scripts/prove_symbolic.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@


def run_command(command: list[str], **kwargs: Any) -> subprocess.Popen:
command_str = ' '.join([shlex.quote(frag) for frag in command])
command_str = shlex.join(command)
print(f"{ANSI.in_gray('+ ' + command_str)}", file=sys.stderr)
return subprocess.Popen(command, **kwargs)

Expand Down