From d391b84d313170905484f511917c5d330c388c7f Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 21 Sep 2023 15:27:55 +0000 Subject: [PATCH 1/7] llvm-backend/src/main/native/llvm-backend: Set Version c64bbbb9ba6b141c183bbb0094ad8385683ad525 --- llvm-backend/src/main/native/llvm-backend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index c603ac78f4c..c64bbbb9ba6 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit c603ac78f4c1e08ab90ca9083c1841399e236bf8 +Subproject commit c64bbbb9ba6b141c183bbb0094ad8385683ad525 From 81d2a64f711b00d1f6f770f7434e430a04251c70 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 21 Sep 2023 15:29:54 +0000 Subject: [PATCH 2/7] flake.nix, flake.lock: update --- flake.lock | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/flake.lock b/flake.lock index dfe25c9fae6..fc34f3c2a5d 100644 --- a/flake.lock +++ b/flake.lock @@ -784,11 +784,11 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1695238986, - "narHash": "sha256-z/pK5vTyXUIvVk/UaqxJq3xOa08MBOyemeQSwg2+kfY=", + "lastModified": 1695309938, + "narHash": "sha256-7UlYjiLc8S8Llg19yjqRdlccGZM5VKIJmvEVSs18JbU=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "c603ac78f4c1e08ab90ca9083c1841399e236bf8", + "rev": "c64bbbb9ba6b141c183bbb0094ad8385683ad525", "type": "github" }, "original": { From 381da459c20d83fbcc2ee4705ce9878dd08d5d81 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 25 Sep 2023 19:26:12 +0000 Subject: [PATCH 3/7] flake.nix, flake.lock: update --- flake.lock | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/flake.lock b/flake.lock index a4b2e6ffbc5..567b01b0528 100644 --- a/flake.lock +++ b/flake.lock @@ -1227,11 +1227,11 @@ }, "nixpkgs_5": { "locked": { - "lastModified": 1694937365, - "narHash": "sha256-iHZSGrb9gVpZRR4B2ishUN/1LRKWtSHZNO37C8z1SmA=", + "lastModified": 1695559356, + "narHash": "sha256-kXZ1pUoImD9OEbPCwpTz4tHsNTr4CIyIfXb3ocuR8sI=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "5d017a8822e0907fb96f7700a319f9fe2434de02", + "rev": "261abe8a44a7e8392598d038d2e01f7b33cf26d0", "type": "github" }, "original": { From f9b7c02604a5acd6707f4d10d3fc45af233fccfa Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 26 Sep 2023 13:15:42 +0000 Subject: [PATCH 4/7] llvm-backend/src/main/native/llvm-backend: Set Version afb8810cbc389d4beabeca807d311281194d9727 --- llvm-backend/src/main/native/llvm-backend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index c64bbbb9ba6..afb8810cbc3 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit c64bbbb9ba6b141c183bbb0094ad8385683ad525 +Subproject commit afb8810cbc389d4beabeca807d311281194d9727 From 2fbe601c2d553379430c03e9e5f270d785306b68 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 26 Sep 2023 13:17:56 +0000 Subject: [PATCH 5/7] flake.nix, flake.lock: update --- flake.lock | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/flake.lock b/flake.lock index 567b01b0528..916c7383bb1 100644 --- a/flake.lock +++ b/flake.lock @@ -784,11 +784,11 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1695309938, - "narHash": "sha256-7UlYjiLc8S8Llg19yjqRdlccGZM5VKIJmvEVSs18JbU=", + "lastModified": 1695734047, + "narHash": "sha256-51WkB5bYvqt1LIsu3u+SO1T18urzrMi8JdpcI9ZMrnY=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "c64bbbb9ba6b141c183bbb0094ad8385683ad525", + "rev": "afb8810cbc389d4beabeca807d311281194d9727", "type": "github" }, "original": { From 66d9c8743cbcbe8b49d468d56233620a4939ee8e Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 26 Sep 2023 14:29:41 +0000 Subject: [PATCH 6/7] llvm-backend/src/main/native/llvm-backend: Set Version 4c9d0101951dc7fa4f07b0b03f5afd84331a40f7 --- llvm-backend/src/main/native/llvm-backend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index afb8810cbc3..4c9d0101951 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit afb8810cbc389d4beabeca807d311281194d9727 +Subproject commit 4c9d0101951dc7fa4f07b0b03f5afd84331a40f7 From 6c16bdd2036af8d698e08ec179aaf9a4822ff296 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 26 Sep 2023 14:31:48 +0000 Subject: [PATCH 7/7] flake.nix, flake.lock: update --- flake.lock | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/flake.lock b/flake.lock index 916c7383bb1..128744005e2 100644 --- a/flake.lock +++ b/flake.lock @@ -784,11 +784,11 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1695734047, - "narHash": "sha256-51WkB5bYvqt1LIsu3u+SO1T18urzrMi8JdpcI9ZMrnY=", + "lastModified": 1695738370, + "narHash": "sha256-6H2WXHGjB2UvsZob2PAeV9o53q2LEKZ1LwDL5tV9fik=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "afb8810cbc389d4beabeca807d311281194d9727", + "rev": "4c9d0101951dc7fa4f07b0b03f5afd84331a40f7", "type": "github" }, "original": {