Skip to content

Commit 96373ce

Browse files
committed
Point to k's mint64-hooks branch
1 parent 0957714 commit 96373ce

File tree

5 files changed

+19
-13
lines changed

5 files changed

+19
-13
lines changed

flake.lock

Lines changed: 4 additions & 4 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

flake.nix

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4";
66
nixpkgs.follows = "rv-nix-tools/nixpkgs";
77

8-
k-framework.url = "github:runtimeverification/k/v7.1.273";
8+
k-framework.url = "github:runtimeverification/k/65596e6666919183d241ec8001b3b0fa899b5e77";
99
k-framework.inputs.nixpkgs.follows = "nixpkgs";
1010
flake-utils.follows = "k-framework/flake-utils";
1111
poetry2nix = {

kevm-pyk/poetry.lock

Lines changed: 11 additions & 6 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

kevm-pyk/pyproject.toml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,8 @@ authors = [
1313
[tool.poetry.dependencies]
1414
python = "^3.10"
1515
pathos = "*"
16-
kframework = "7.1.273"
16+
# kframework = "7.1.273"
17+
kframework = { git = "https://github.com/runtimeverification/k.git", rev = "65596e6666919183d241ec8001b3b0fa899b5e77", subdirectory = "pyk" }
1718
tomlkit = "^0.11.6"
1819
frozendict = "^2.4.6"
1920

0 commit comments

Comments
 (0)