diff --git a/deps/k_release b/deps/k_release index 2f0f249ecb..741944947c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.297 +7.1.299 diff --git a/flake.lock b/flake.lock index f64148c0cc..24544a6cac 100644 --- a/flake.lock +++ b/flake.lock @@ -400,16 +400,16 @@ "uv2nix": "uv2nix" }, "locked": { - "lastModified": 1759996982, - "narHash": "sha256-5GEC/9ZizX5zUcmmVyZ115BFlcxugciyfdH93tkpfl8=", + "lastModified": 1760576374, + "narHash": "sha256-+IQG1hnoDbZHO0ZAAJ8L3On1Gy0FBEMLKpXC4pafygM=", "owner": "runtimeverification", "repo": "k", - "rev": "c376de7d91e5f14cff13b7e32e1c997983a2859b", + "rev": "5707df5e4ec5bea26bd2b2344d62c1fd2c41d171", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.297", + "ref": "v7.1.299", "repo": "k", "type": "github" } @@ -478,16 +478,16 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1758120345, - "narHash": "sha256-EQYhu4csXXymcCsTyDmcKFKZQ7aURtYJXUSgbFAnXvM=", + "lastModified": 1760570155, + "narHash": "sha256-jgDhxUFXMe7kTqdq6eSHshRJJzm/1QTmUc8SQIjN2sE=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "145066375064b27d6e392cdcdfb1efad1c21875d", + "rev": "618f530031870d6e8a74633b122d46afb5d7ad8e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.138", + "ref": "v0.1.139", "repo": "llvm-backend", "type": "github" } @@ -533,11 +533,11 @@ }, "nixpkgs-unstable": { "locked": { - "lastModified": 1759733170, - "narHash": "sha256-TXnlsVb5Z8HXZ6mZoeOAIwxmvGHp1g4Dw89eLvIwKVI=", + "lastModified": 1760284886, + "narHash": "sha256-TK9Kr0BYBQ/1P5kAsnNQhmWWKgmZXwUQr4ZMjCzWf2c=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "8913c168d1c56dc49a7718685968f38752171c3b", + "rev": "cf3f5c4def3c7b5f1fc012b3d839575dbe552d43", "type": "github" }, "original": { @@ -549,11 +549,11 @@ }, "nixpkgs-unstable_2": { "locked": { - "lastModified": 1760524057, - "narHash": "sha256-EVAqOteLBFmd7pKkb0+FIUyzTF61VKi7YmvP1tw4nEw=", + "lastModified": 1760878510, + "narHash": "sha256-K5Osef2qexezUfs0alLvZ7nQFTGS9DL2oTVsIXsqLgs=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "544961dfcce86422ba200ed9a0b00dd4b1486ec5", + "rev": "5e2a59a5b1a82f89f2c7e598302a9cacebb72a67", "type": "github" }, "original": { @@ -1135,17 +1135,17 @@ "pyproject-nix": "pyproject-nix" }, "locked": { - "lastModified": 1759380823, - "narHash": "sha256-DYZ87uCVfONgBuexhuQpjXnLSzfAywbfnh4Ee5rhGv4=", + "lastModified": 1760161183, + "narHash": "sha256-1USClOZthg+pGJp+p3ouVtTMO+ZY8Cd0+FbsNN/RpO8=", "owner": "pyproject-nix", "repo": "uv2nix", - "rev": "be511633027f67beee87ab499f7b16d0a2f7eceb", + "rev": "b6ed0901aec29583532abe65117b18d86a49b617", "type": "github" }, "original": { "owner": "pyproject-nix", "repo": "uv2nix", - "rev": "be511633027f67beee87ab499f7b16d0a2f7eceb", + "rev": "b6ed0901aec29583532abe65117b18d86a49b617", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 8779d86baa..6f89677e2e 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4"; nixpkgs.follows = "rv-nix-tools/nixpkgs"; - k-framework.url = "github:runtimeverification/k/v7.1.297"; + k-framework.url = "github:runtimeverification/k/v7.1.299"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; blockchain-k-plugin = { diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 71ed014f78..56d6a43b7d 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -10,7 +10,7 @@ readme = "README.md" requires-python = ">=3.10" dependencies = [ "frozendict>=2.4.6,<3", - "kframework==7.1.297", + "kframework==7.1.299", "pathos", "tomlkit>=0.11.6", ] diff --git a/kevm-pyk/uv.lock b/kevm-pyk/uv.lock index 3e5bd7dff7..a5c3b790ff 100644 --- a/kevm-pyk/uv.lock +++ b/kevm-pyk/uv.lock @@ -8,15 +8,15 @@ resolution-markers = [ [[package]] name = "arrow" -version = "1.3.0" +version = "1.4.0" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "python-dateutil" }, - { name = "types-python-dateutil" }, + { name = "tzdata" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/2e/00/0f6e8fcdb23ea632c866620cc872729ff43ed91d284c866b515c6342b173/arrow-1.3.0.tar.gz", hash = "sha256:d4540617648cb5f895730f1ad8c82a65f2dad0166f57b75f3ca54759c4d67a85", size = 131960, upload-time = "2023-09-30T22:11:18.25Z" } +sdist = { url = "https://files.pythonhosted.org/packages/b9/33/032cdc44182491aa708d06a68b62434140d8c50820a087fac7af37703357/arrow-1.4.0.tar.gz", hash = "sha256:ed0cc050e98001b8779e84d461b0098c4ac597e88704a655582b21d116e526d7", size = 152931, upload-time = "2025-10-18T17:46:46.761Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/f8/ed/e97229a566617f2ae958a6b13e7cc0f585470eac730a73e9e82c32a3cdd2/arrow-1.3.0-py3-none-any.whl", hash = "sha256:c728b120ebc00eb84e01882a6f5e7927a53960aa990ce7dd2b10f39005a67f80", size = 66419, upload-time = "2023-09-30T22:11:16.072Z" }, + { url = "https://files.pythonhosted.org/packages/ed/c9/d7977eaacb9df673210491da99e6a247e93df98c715fc43fd136ce1d3d33/arrow-1.4.0-py3-none-any.whl", hash = "sha256:749f0769958ebdc79c173ff0b0670d59051a535fa26e8eba02953dc19eb43205", size = 68797, upload-time = "2025-10-18T17:46:45.663Z" }, ] [[package]] @@ -503,16 +503,16 @@ wheels = [ [[package]] name = "hypothesis" -version = "6.142.0" +version = "6.142.1" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "attrs" }, { name = "exceptiongroup", marker = "python_full_version < '3.11'" }, { name = "sortedcontainers" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/fe/96/191a3de65eaccfb9af92206854fd6a470d0f6582589c7522b82344977df4/hypothesis-6.142.0.tar.gz", hash = "sha256:584bb5bddb95cfae69151466215433b5620bd7498876e6f6831c9f119344fb0f", size = 466123, upload-time = "2025-10-16T05:42:19.071Z" } +sdist = { url = "https://files.pythonhosted.org/packages/de/13/a4f29624db4d88811d6c4b7708769180004b26f5a2ee6e8a2e8c605da5da/hypothesis-6.142.1.tar.gz", hash = "sha256:3179cb08756562c526aaf4a9871ebbff83d2d75c03896ed0bc9c1d14097a930c", size = 465849, upload-time = "2025-10-16T21:05:51.694Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/77/a4/22f92ab550a961db0991c230f886c3f09758a4d9a359127f68793f80631a/hypothesis-6.142.0-py3-none-any.whl", hash = "sha256:2d1c3096ee625f327134a693d8e5a48134e3a6cd0914cd0497adb2699bd998b4", size = 533564, upload-time = "2025-10-16T05:42:15.063Z" }, + { url = "https://files.pythonhosted.org/packages/55/16/2c8023ea706dd3ef155b1ffe531cd7672271cd9c70fbbbafba614b218679/hypothesis-6.142.1-py3-none-any.whl", hash = "sha256:95a7d38fcc58e697e3020665adcb951c630cdbc8065e4b4474949e486b06bd6d", size = 533271, upload-time = "2025-10-16T21:05:48.174Z" }, ] [[package]] @@ -526,11 +526,11 @@ wheels = [ [[package]] name = "iniconfig" -version = "2.1.0" +version = "2.3.0" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/f2/97/ebf4da567aa6827c909642694d71c9fcf53e5b504f2d96afea02718862f3/iniconfig-2.1.0.tar.gz", hash = "sha256:3abbd2e30b36733fee78f9c7f7308f2d0050e88f0087fd25c2645f63c773e1c7", size = 4793, upload-time = "2025-03-19T20:09:59.721Z" } +sdist = { url = "https://files.pythonhosted.org/packages/72/34/14ca021ce8e5dfedc35312d08ba8bf51fdd999c576889fc2c24cb97f4f10/iniconfig-2.3.0.tar.gz", hash = "sha256:c76315c77db068650d49c5b56314774a7804df16fee4402c1f19d6d15d8c4730", size = 20503, upload-time = "2025-10-18T21:55:43.219Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/2c/e1/e6716421ea10d38022b952c159d5161ca1193197fb744506875fbb87ea7b/iniconfig-2.1.0-py3-none-any.whl", hash = "sha256:9deba5723312380e77435581c6bf4935c94cbfab9b1ed33ef8d238ea168eb760", size = 6050, upload-time = "2025-03-19T20:10:01.071Z" }, + { url = "https://files.pythonhosted.org/packages/cb/b1/3846dd7f199d53cb17f49cba7e651e9ce294d8497c8c150530ed11865bb8/iniconfig-2.3.0-py3-none-any.whl", hash = "sha256:f631c04d2c48c52b84d0d0549c99ff3859c98df65b3101406327ecc7d53fbf12", size = 7484, upload-time = "2025-10-18T21:55:41.639Z" }, ] [[package]] @@ -587,7 +587,7 @@ dev = [ [package.metadata] requires-dist = [ { name = "frozendict", specifier = ">=2.4.6,<3" }, - { name = "kframework", specifier = "==7.1.297" }, + { name = "kframework", specifier = "==7.1.299" }, { name = "pathos" }, { name = "tomlkit", specifier = ">=0.11.6" }, ] @@ -613,7 +613,7 @@ dev = [ [[package]] name = "kframework" -version = "7.1.297" +version = "7.1.299" source = { registry = "https://pypi.org/simple" } dependencies = [ { name = "coloredlogs" }, @@ -630,9 +630,9 @@ dependencies = [ { name = "tomli" }, { name = "xdg-base-dirs" }, ] -sdist = { url = "https://files.pythonhosted.org/packages/e8/28/fbc0bf6c36ffb7df882f6370087c16c94575c8d7cea8631e7513ec1faf0b/kframework-7.1.297.tar.gz", hash = "sha256:64dd1de38778f8cca8c748249ba4070abffbbc36670dab043e7a2c55a4bfbfda", size = 242938, upload-time = "2025-10-09T08:35:10.314Z" } +sdist = { url = "https://files.pythonhosted.org/packages/1d/0e/d6290fb077e994521b402514adff495abdc256fc7a7869d3ee9cfbae7cfe/kframework-7.1.299.tar.gz", hash = "sha256:f91cc63d8d134c27bb91108e2774c685ddb0a6d9ef0f625b86eb97984f5b3b89", size = 242932, upload-time = "2025-10-16T03:40:19.121Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/20/a1/75a8f1b7ef3122813687f1d0c5474022afc60418b9ee6060ba0eda55593e/kframework-7.1.297-py3-none-any.whl", hash = "sha256:43e8ea18e8d32c918440f6eaab3a7c7b5355b935b7462f1fdf25744eb42250df", size = 294134, upload-time = "2025-10-09T08:35:08.892Z" }, + { url = "https://files.pythonhosted.org/packages/97/3b/68860f5548f590222e7d6aa32785e4703c43f08900fe38e877cc07252f7a/kframework-7.1.299-py3-none-any.whl", hash = "sha256:0c673ed10f8ba60a523306c1a9d4711778d65c730a07d8f2eb86ef65ac3f2f59", size = 294134, upload-time = "2025-10-16T03:40:17.36Z" }, ] [[package]] @@ -1337,21 +1337,21 @@ wheels = [ ] [[package]] -name = "types-python-dateutil" -version = "2.9.0.20251008" +name = "typing-extensions" +version = "4.15.0" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/fc/83/24ed25dd0c6277a1a170c180ad9eef5879ecc9a4745b58d7905a4588c80d/types_python_dateutil-2.9.0.20251008.tar.gz", hash = "sha256:c3826289c170c93ebd8360c3485311187df740166dbab9dd3b792e69f2bc1f9c", size = 16128, upload-time = "2025-10-08T02:51:34.93Z" } +sdist = { url = "https://files.pythonhosted.org/packages/72/94/1a15dd82efb362ac84269196e94cf00f187f7ed21c242792a923cdb1c61f/typing_extensions-4.15.0.tar.gz", hash = "sha256:0cea48d173cc12fa28ecabc3b837ea3cf6f38c6d1136f85cbaaf598984861466", size = 109391, upload-time = "2025-08-25T13:49:26.313Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/da/af/5d24b8d49ef358468ecfdff5c556adf37f4fd28e336b96f923661a808329/types_python_dateutil-2.9.0.20251008-py3-none-any.whl", hash = "sha256:b9a5232c8921cf7661b29c163ccc56055c418ab2c6eabe8f917cbcc73a4c4157", size = 17934, upload-time = "2025-10-08T02:51:33.55Z" }, + { url = "https://files.pythonhosted.org/packages/18/67/36e9267722cc04a6b9f15c7f3441c2363321a3ea07da7ae0c0707beb2a9c/typing_extensions-4.15.0-py3-none-any.whl", hash = "sha256:f0fa19c6845758ab08074a0cfa8b7aecb71c999ca73d62883bc25cc018c4e548", size = 44614, upload-time = "2025-08-25T13:49:24.86Z" }, ] [[package]] -name = "typing-extensions" -version = "4.15.0" +name = "tzdata" +version = "2025.2" source = { registry = "https://pypi.org/simple" } -sdist = { url = "https://files.pythonhosted.org/packages/72/94/1a15dd82efb362ac84269196e94cf00f187f7ed21c242792a923cdb1c61f/typing_extensions-4.15.0.tar.gz", hash = "sha256:0cea48d173cc12fa28ecabc3b837ea3cf6f38c6d1136f85cbaaf598984861466", size = 109391, upload-time = "2025-08-25T13:49:26.313Z" } +sdist = { url = "https://files.pythonhosted.org/packages/95/32/1a225d6164441be760d75c2c42e2780dc0873fe382da3e98a2e1e48361e5/tzdata-2025.2.tar.gz", hash = "sha256:b60a638fcc0daffadf82fe0f57e53d06bdec2f36c4df66280ae79bce6bd6f2b9", size = 196380, upload-time = "2025-03-23T13:54:43.652Z" } wheels = [ - { url = "https://files.pythonhosted.org/packages/18/67/36e9267722cc04a6b9f15c7f3441c2363321a3ea07da7ae0c0707beb2a9c/typing_extensions-4.15.0-py3-none-any.whl", hash = "sha256:f0fa19c6845758ab08074a0cfa8b7aecb71c999ca73d62883bc25cc018c4e548", size = 44614, upload-time = "2025-08-25T13:49:24.86Z" }, + { url = "https://files.pythonhosted.org/packages/5c/23/c7abc0ca0a1526a0774eca151daeb8de62ec457e77262b66b359c3c7679e/tzdata-2025.2-py2.py3-none-any.whl", hash = "sha256:1a403fada01ff9221ca8044d701868fa132215d84beb92242d9acd2147f667a8", size = 347839, upload-time = "2025-03-23T13:54:41.845Z" }, ] [[package]]