Merge branch 'master' into _update-deps/runtimeverification/k-web-theme

runtimeverification · Oct 10, 2024 · 34c32ae · 34c32ae
2 parents 76c2087 + 4d541d6
commit 34c32ae
Show file tree

Hide file tree

Showing 20 changed files with 541 additions and 264 deletions.
diff --git a/.gitignore b/.gitignore
@@ -20,3 +20,4 @@
 /tests/vm/*.out
 .DS_Store
 .idea/
+.vscode/
diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-f1f7edb7cb7286906fe42aa37d2106036cef849f
+3492f6deff69f11b64e700cdb6305024fc0fac84
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.142
+7.1.156
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -2,14 +2,14 @@
   description = "A flake for the KEVM Semantics";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.142";
+    k-framework.url = "github:runtimeverification/k/v7.1.156";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
     poetry2nix.follows = "k-framework/poetry2nix";
     blockchain-k-plugin = {
       url =
-        "github:runtimeverification/blockchain-k-plugin/f1f7edb7cb7286906fe42aa37d2106036cef849f";
+        "github:runtimeverification/blockchain-k-plugin/3492f6deff69f11b64e700cdb6305024fc0fac84";
       inputs.flake-utils.follows = "k-framework/flake-utils";
       inputs.nixpkgs.follows = "k-framework/nixpkgs";
     };
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		f1f7edb7cb7286906fe42aa37d2106036cef849f
		3492f6deff69f11b64e700cdb6305024fc0fac84