Merge remote-tracking branch 'origin/master' into release

runtimeverification · Aug 13, 2024 · b4bcc9d · b4bcc9d
2 parents fe30b7b + 2330063
commit b4bcc9d
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 10 deletions.
diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-7a480319603205bee3d28c4ea058d917c1920760
+64bb64b6c908c15b3dfe67ace70936b7d3913672
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		7a480319603205bee3d28c4ea058d917c1920760
		64bb64b6c908c15b3dfe67ace70936b7d3913672
+1 −1		deps/k_release
+12 −12		flake.lock
+11 −3		flake.nix
+126 −106		krypto/poetry.lock
+1 −1		krypto/pyproject.toml