From 9336b954bd1fc907e4c1453b3e6820bff7de1483 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 17 Jul 2024 05:29:29 +0000 Subject: [PATCH] flake.{nix,lock}: update Nix derivations --- flake.lock | 86 +++++++++++++++++++++++++++--------------------------- flake.nix | 6 ++-- 2 files changed, 46 insertions(+), 46 deletions(-) diff --git a/flake.lock b/flake.lock index b91c0f18..869926c8 100644 --- a/flake.lock +++ b/flake.lock @@ -380,16 +380,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1719881076, - "narHash": "sha256-t9RTbVarwaobMiJkQjXykP8Qt+26miKzr3inONULvck=", + "lastModified": 1720572621, + "narHash": "sha256-/j0swzk75vBmtYE62t044W7tCRULxwYfygb+C01Ar9A=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "11265424aeb138168bc73f1f028273de192b5be4", + "rev": "3ecef6a3bf991a95ac3dba2900a721bbcd5f5ce7", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.29", + "ref": "v0.1.32", "repo": "haskell-backend", "type": "github" } @@ -412,16 +412,16 @@ "z3": "z3_2" }, "locked": { - "lastModified": 1719881076, - "narHash": "sha256-t9RTbVarwaobMiJkQjXykP8Qt+26miKzr3inONULvck=", + "lastModified": 1720572621, + "narHash": "sha256-/j0swzk75vBmtYE62t044W7tCRULxwYfygb+C01Ar9A=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "11265424aeb138168bc73f1f028273de192b5be4", + "rev": "3ecef6a3bf991a95ac3dba2900a721bbcd5f5ce7", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.29", + "ref": "v0.1.32", "repo": "haskell-backend", "type": "github" } @@ -446,16 +446,16 @@ "z3": "z3_3" }, "locked": { - "lastModified": 1719881076, - "narHash": "sha256-t9RTbVarwaobMiJkQjXykP8Qt+26miKzr3inONULvck=", + "lastModified": 1720572621, + "narHash": "sha256-/j0swzk75vBmtYE62t044W7tCRULxwYfygb+C01Ar9A=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "11265424aeb138168bc73f1f028273de192b5be4", + "rev": "3ecef6a3bf991a95ac3dba2900a721bbcd5f5ce7", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.29", + "ref": "v0.1.32", "repo": "haskell-backend", "type": "github" } @@ -533,16 +533,16 @@ ] }, "locked": { - "lastModified": 1720638169, - "narHash": "sha256-Pxl5c5Ti3Dt+p3IKhwZNONiYHwELdypd39U6AQB51D0=", + "lastModified": 1721005256, + "narHash": "sha256-E232/nvE39EmRINjFhgDvKiBwWXHr/Ks1krvBB8nE78=", "owner": "runtimeverification", "repo": "k", - "rev": "349304ae7c223dd7451cd0671ab8c865c3e2994e", + "rev": "3f0c6c7b2f65d2b3e0349aad12002dfcd6912fc3", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.54", + "ref": "v7.1.59", "repo": "k", "type": "github" } @@ -572,16 +572,16 @@ ] }, "locked": { - "lastModified": 1720638169, - "narHash": "sha256-Pxl5c5Ti3Dt+p3IKhwZNONiYHwELdypd39U6AQB51D0=", + "lastModified": 1721005256, + "narHash": "sha256-E232/nvE39EmRINjFhgDvKiBwWXHr/Ks1krvBB8nE78=", "owner": "runtimeverification", "repo": "k", - "rev": "349304ae7c223dd7451cd0671ab8c865c3e2994e", + "rev": "3f0c6c7b2f65d2b3e0349aad12002dfcd6912fc3", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.54", + "ref": "v7.1.59", "repo": "k", "type": "github" } @@ -614,16 +614,16 @@ ] }, "locked": { - "lastModified": 1720638169, - "narHash": "sha256-Pxl5c5Ti3Dt+p3IKhwZNONiYHwELdypd39U6AQB51D0=", + "lastModified": 1721005256, + "narHash": "sha256-E232/nvE39EmRINjFhgDvKiBwWXHr/Ks1krvBB8nE78=", "owner": "runtimeverification", "repo": "k", - "rev": "349304ae7c223dd7451cd0671ab8c865c3e2994e", + "rev": "3f0c6c7b2f65d2b3e0349aad12002dfcd6912fc3", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.54", + "ref": "v7.1.59", "repo": "k", "type": "github" } @@ -853,16 +853,16 @@ "wasm-semantics": "wasm-semantics" }, "locked": { - "lastModified": 1721169780, - "narHash": "sha256-6D417g6d4AVBqquve1Z3M7aTksa1cXWx8XVFIfjXizY=", + "lastModified": 1721193961, + "narHash": "sha256-2ljU+Y3saogXWk0j6lGMx8l7BMgedHdJYAiwCm8svwk=", "owner": "runtimeverification", "repo": "mx-semantics", - "rev": "bf763057ad3a6012ca7c0de60622bdea4829feb2", + "rev": "c325b91c220e483926d8434cde64c4cb9c245ebb", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.96", + "ref": "v0.1.97", "repo": "mx-semantics", "type": "github" } @@ -1332,17 +1332,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1720638169, - "narHash": "sha256-Pxl5c5Ti3Dt+p3IKhwZNONiYHwELdypd39U6AQB51D0=", + "lastModified": 1721005256, + "narHash": "sha256-E232/nvE39EmRINjFhgDvKiBwWXHr/Ks1krvBB8nE78=", "owner": "runtimeverification", "repo": "k", - "rev": "349304ae7c223dd7451cd0671ab8c865c3e2994e", + "rev": "3f0c6c7b2f65d2b3e0349aad12002dfcd6912fc3", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.54", + "ref": "v7.1.59", "repo": "k", "type": "github" } @@ -1364,17 +1364,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1720638169, - "narHash": "sha256-Pxl5c5Ti3Dt+p3IKhwZNONiYHwELdypd39U6AQB51D0=", + "lastModified": 1721005256, + "narHash": "sha256-E232/nvE39EmRINjFhgDvKiBwWXHr/Ks1krvBB8nE78=", "owner": "runtimeverification", "repo": "k", - "rev": "349304ae7c223dd7451cd0671ab8c865c3e2994e", + "rev": "3f0c6c7b2f65d2b3e0349aad12002dfcd6912fc3", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.54", + "ref": "v7.1.59", "repo": "k", "type": "github" } @@ -1519,11 +1519,11 @@ ] }, "locked": { - "lastModified": 1721096425, - "narHash": "sha256-9/58mnoDCyBHsJZwTg3MfgX3kgVqP/SzGMy0WnnWII8=", + "lastModified": 1721182796, + "narHash": "sha256-n6w4IhmVeRU+32vH93+8nqZtEZ0Zcy31Hg1GpH1g4Rk=", "owner": "oxalica", "repo": "rust-overlay", - "rev": "1c95d396d7395829b5c06bea84fb1dd23169ca42", + "rev": "d064703dc0657a49a17671c74b1a15ea7433e753", "type": "github" }, "original": { @@ -2138,16 +2138,16 @@ ] }, "locked": { - "lastModified": 1720692169, - "narHash": "sha256-r8uMESUW5kYlA0XUeZygcpjT/t3LwiOFpvxH/76MPc8=", + "lastModified": 1721035560, + "narHash": "sha256-5Ul3LRRAxFFQJnmaWxR5KWQd1FjGiMrGIB1321a0wPU=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "d58b1043fcd3b6589eb106937dd132787e8a2c5d", + "rev": "ad238ca2f73ea866b54b31308326ac2a56e64159", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.83", + "ref": "v0.1.85", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 11091ff9..81198bfd 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "kmxwasm - Symbolic execution for the MulitversX blockchain with the Wasm semantics, using pyk."; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.54"; - pyk.url = "github:runtimeverification/k/v7.1.54?dir=pyk"; + k-framework.url = "github:runtimeverification/k/v7.1.59"; + pyk.url = "github:runtimeverification/k/v7.1.59?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; - mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.96"; + mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.97"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.url = "github:runtimeverification/rv-nix-tools";