From 38e6c0387d0057019b362bb1f09f791cc2188c08 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 23 May 2024 12:27:13 -0600 Subject: [PATCH 1/2] Update dependency: deps/haskell-backend_release (#4383) Co-authored-by: devops --- deps/haskell-backend_release | 2 +- flake.lock | 22 +++++++++---------- flake.nix | 2 +- .../src/main/native/haskell-backend | 2 +- 4 files changed, 14 insertions(+), 14 deletions(-) diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index dc20c9b051f..ba3aa42b1bc 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -e62fba2f0f774cd1ee68a41df3d648d7fe2e72e6 +6e195d1cdd2e3f56389521a23d28125edc607c6e diff --git a/flake.lock b/flake.lock index 7076ba0a59b..fbfb14d17df 100644 --- a/flake.lock +++ b/flake.lock @@ -63,17 +63,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1716384169, - "narHash": "sha256-38gjUPxqG3unkeReIP3zQZ8OTVbjNtzLqagaV2ShjKo=", + "lastModified": 1716472952, + "narHash": "sha256-po4boMu90ofZW7sEpjltscPAIqMKok8teKjic/nd7Wk=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "e62fba2f0f774cd1ee68a41df3d648d7fe2e72e6", + "rev": "6e195d1cdd2e3f56389521a23d28125edc607c6e", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "e62fba2f0f774cd1ee68a41df3d648d7fe2e72e6", + "rev": "6e195d1cdd2e3f56389521a23d28125edc607c6e", "type": "github" } }, @@ -128,17 +128,17 @@ }, "nixpkgs": { "locked": { - "lastModified": 1707163378, - "narHash": "sha256-oz+BzUDwtyircjjxv9aPYOS5gobxLCjD2il+gb/bCRo=", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, @@ -225,11 +225,11 @@ "nixpkgs": "nixpkgs" }, "locked": { - "lastModified": 1707492220, - "narHash": "sha256-KRndaUPzUumDlNcKF7KzA8F/EZKLYCvurh7Z13sw2PI=", + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", "owner": "runtimeverification", "repo": "rv-nix-tools", - "rev": "abf86805a623948c941e603e2fc4c26a06ea6eb6", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index 6fe665264d3..4d118ffd624 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/e62fba2f0f774cd1ee68a41df3d648d7fe2e72e6"; + haskell-backend.url = "github:runtimeverification/haskell-backend/6e195d1cdd2e3f56389521a23d28125edc607c6e"; nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index e62fba2f0f7..6e195d1cdd2 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit e62fba2f0f774cd1ee68a41df3d648d7fe2e72e6 +Subproject commit 6e195d1cdd2e3f56389521a23d28125edc607c6e From 2e223594f726af977978a5747f6ab10a84843076 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 23 May 2024 12:27:16 -0600 Subject: [PATCH 2/2] Update dependency: deps/llvm-backend_release (#4382) Co-authored-by: devops --- deps/llvm-backend_release | 2 +- flake.lock | 22 +++++++++++----------- flake.nix | 2 +- llvm-backend/src/main/native/llvm-backend | 2 +- 4 files changed, 14 insertions(+), 14 deletions(-) diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index 7db267292f8..baec65a93d3 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.26 +0.1.28 diff --git a/flake.lock b/flake.lock index fbfb14d17df..6eb6d4d9fb1 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ ] }, "locked": { - "lastModified": 1716400974, - "narHash": "sha256-BwZAoBwz8v/43gHT1ILHVJVX88yGLZREt8VRhs0BRtg=", + "lastModified": 1716485030, + "narHash": "sha256-JL7OT8Sq1OCQpxHvV9jbE+UzdOBbyDIjKJ24zNAGCbo=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "0f10a29b03061cff9389051da487d485afc67679", + "rev": "765f930b36275c577931aae3cb5a05d362d210f9", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.26", + "ref": "v0.1.28", "repo": "llvm-backend", "type": "github" } @@ -144,17 +144,17 @@ }, "nixpkgs_2": { "locked": { - "lastModified": 1707163378, - "narHash": "sha256-oz+BzUDwtyircjjxv9aPYOS5gobxLCjD2il+gb/bCRo=", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, @@ -243,11 +243,11 @@ "nixpkgs": "nixpkgs_2" }, "locked": { - "lastModified": 1707492220, - "narHash": "sha256-KRndaUPzUumDlNcKF7KzA8F/EZKLYCvurh7Z13sw2PI=", + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", "owner": "runtimeverification", "repo": "rv-nix-tools", - "rev": "abf86805a623948c941e603e2fc4c26a06ea6eb6", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index 4d118ffd624..a916f355986 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { - url = "github:runtimeverification/llvm-backend/v0.1.26"; + url = "github:runtimeverification/llvm-backend/v0.1.28"; inputs.utils.follows = "flake-utils"; }; rv-utils.url = "github:runtimeverification/rv-nix-tools"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 0f10a29b030..765f930b362 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 0f10a29b03061cff9389051da487d485afc67679 +Subproject commit 765f930b36275c577931aae3cb5a05d362d210f9