diff --git a/flake.lock b/flake.lock index 55f9dfc8e..d3a6810a5 100644 --- a/flake.lock +++ b/flake.lock @@ -436,16 +436,16 @@ "solc": "solc" }, "locked": { - "lastModified": 1698239029, - "narHash": "sha256-SMr2DWfg753xZRJ2Z+eGnmC0SId/o7ou9CIDvU/gULc=", + "lastModified": 1698316930, + "narHash": "sha256-zLJPDcOaf9c22AXFfg7BYqm1pDcSiazO0ZWiJOP9/dY=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "2211dcd214ca03f13609369f19bc4ae51f760eb4", + "rev": "49ce4a12e8ac9cc0a0310ec6df462e0d0d50238a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.327", + "ref": "v1.0.328", "repo": "evm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 3ea70f689..6e5ae087c 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.327"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.328"; nixpkgs.follows = "kevm/nixpkgs"; k-framework.follows = "kevm/k-framework"; k-framework.inputs.nixpkgs.follows = "nixpkgs";