Skip to content

Commit

Permalink
Update dependency: deps/pyk_release (#2019)
Browse files Browse the repository at this point in the history 
* deps/pyk_release: Set Version v0.1.414

* Set Version: 1.0.262

* kevm-pyk/: sync poetry files pyk version v0.1.414

* flake.{nix,lock}: update Nix derivations

* deps/pyk_release: Set Version v0.1.415

* kevm-pyk/: sync poetry files pyk version v0.1.415

* deps/k_release: sync release file version 6.0.58

* deps/k: sync K submodule version v6.0.58

* flake.{nix,lock}: update Nix derivations

* deps/pyk_release: Set Version v0.1.416

* kevm-pyk/: sync poetry files pyk version v0.1.416

* flake.{nix,lock}: update Nix derivations

* deps/pyk_release: Set Version v0.1.417

* kevm-pyk/: sync poetry files pyk version v0.1.417

* deps/k_release: sync release file version 6.0.59

* deps/k: sync K submodule version v6.0.59

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>
  • Loading branch information
@rv-jenkins
rv-jenkins and devops authored Aug 17, 2023
1 parent a835336 commit 9a6277d
Show file tree
Hide file tree
Showing 9 changed files with 56 additions and 51 deletions.
2 changes: 1 addition & 1 deletion deps/k
Submodule k updated 21 files
+16 −2 .github/workflows/release.yml
+7 −0 .github/workflows/test-pr.yml
+1 −1 deps/hs-backend-booster_release
+10 −10 flake.lock
+1 −1 flake.nix
+12 −0 haskell-backend/src/main/java/org/kframework/backend/haskell/HaskellRewriter.java
+1 −1 hs-backend-booster/src/main/native/hs-backend-booster
+1 −1 install-k
+0 −1 k-distribution/include/kframework/builtin/domains.md
+12 −1 k-distribution/src/main/scripts/bin/krun
+2 −2 k-distribution/tests/regression-new/map-symbolic-tests-haskell/assignment-11-spec.k.out
+1 −2 kernel/src/main/java/org/kframework/compile/ConvertDataStructureToLookup.java
+2 −5 kernel/src/main/java/org/kframework/compile/GenerateSentencesFromConfigDecl.java
+1 −1 kernel/src/main/java/org/kframework/compile/ResolveIOStreams.java
+3 −6 kernel/src/main/java/org/kframework/utils/options/SMTOptions.java
+2 −2 kernel/src/test/java/org/kframework/kore/compile/GenerateSentencesFromConfigDeclTest.java
+0 −4 kore/src/main/scala/org/kframework/attributes/Att.scala
+1 −1 llvm-backend/src/main/native/llvm-backend
+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
Original file line number Diff line number Diff line change
@@ -1 +1 @@
6.0.52
6.0.59
2 changes: 1 addition & 1 deletion deps/pyk_release
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
v0.1.413
v0.1.417
30 changes: 15 additions & 15 deletions flake.lock
View file

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

4 changes: 2 additions & 2 deletions flake.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@

inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/b01f185e4866de7c5b5a82f833ca9ea3c3f72fc4";
k-framework.url = "github:runtimeverification/k/v6.0.52";
k-framework.url = "github:runtimeverification/k/v6.0.59";
k-framework.inputs.nixpkgs.follows = "nixpkgs";
#nixpkgs.follows = "k-framework/nixpkgs";
flake-utils.follows = "k-framework/flake-utils";
Expand All @@ -17,7 +17,7 @@
ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7";
ethereum-legacytests.flake = false;
haskell-backend.follows = "k-framework/haskell-backend";
pyk.url = "github:runtimeverification/pyk/v0.1.413";
pyk.url = "github:runtimeverification/pyk/v0.1.417";
pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";
foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases
Expand Down
59 changes: 32 additions & 27 deletions kevm-pyk/poetry.lock
View file

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

4 changes: 2 additions & 2 deletions kevm-pyk/pyproject.toml
View file
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 = "kevm-pyk"
version = "1.0.261"
version = "1.0.262"
description = ""
authors = [
"Runtime Verification, Inc. <[email protected]>",
Expand All @@ -17,7 +17,7 @@ packages = [
[tool.poetry.dependencies]
python = "^3.10"
pathos = "*"
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.413" }
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.417" }
tomlkit = "^0.11.6"

[tool.poetry.group.dev.dependencies]
Expand Down
2 changes: 1 addition & 1 deletion package/debian/changelog
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
kevm (1.0.261) unstable; urgency=medium
kevm (1.0.262) unstable; urgency=medium

* Initial Release.

Expand Down
2 changes: 1 addition & 1 deletion package/version
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
1.0.261
1.0.262

0 comments on commit 9a6277d

Please sign in to comment.