From 57a3b72e5689978aa2d5f985ef99f1a6d2bc0387 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 18:16:10 +0000 Subject: [PATCH 01/15] deps/llvm-backend_release: Set Version 0.1.65 --- deps/llvm-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index 9810a3b1179..c472eaf6c0c 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.64 +0.1.65 From 9f83e3139cd1294de2c5823e28d074d0861eaecc Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 26 Jul 2024 18:17:08 +0000 Subject: [PATCH 02/15] flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.65 --- flake.nix | 2 +- llvm-backend/src/main/native/llvm-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 7fb55f18219..f397ba7f9e0 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.64"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.65"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.49"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 79011fff664..4c15186c1ed 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 79011fff66455dd451d39821534bd58f5468227b +Subproject commit 4c15186c1ed86fd13228f166a33ce0d44464a451 From 8c08bccc61efde9ff88e4655c882f9c3242f83d3 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 26 Jul 2024 18:17:21 +0000 Subject: [PATCH 03/15] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 4d395a9f9fb..6fccabc31b7 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1721983376, - "narHash": "sha256-pP56X9zoqV+x6QdjIHWH7gcXcwhz+Q08yD8RwBqiIRQ=", + "lastModified": 1722016987, + "narHash": "sha256-Qd+0QQdqBKRzcmNWcZmye+jA5R5bWkDLM8YxUodwkaA=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "79011fff66455dd451d39821534bd58f5468227b", + "rev": "4c15186c1ed86fd13228f166a33ce0d44464a451", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.64", + "ref": "v0.1.65", "repo": "llvm-backend", "type": "github" } From d6298df27ff32e4419673b09bdecf2ec9b6b0b07 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 29 Jul 2024 16:05:20 +0000 Subject: [PATCH 04/15] deps/llvm-backend_release: Set Version 0.1.66 --- deps/llvm-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index c472eaf6c0c..c24b7ee51e1 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.65 +0.1.66 From 00366a813f0ae2cc7cb67200fc391446817729b9 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 29 Jul 2024 16:06:21 +0000 Subject: [PATCH 05/15] flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.66 --- flake.nix | 2 +- llvm-backend/src/main/native/llvm-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 1214f3f79aa..0225b02b866 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.65"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.66"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.51"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 4c15186c1ed..e0aeeb518a1 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 4c15186c1ed86fd13228f166a33ce0d44464a451 +Subproject commit e0aeeb518a18305aea86270607317e0f12c754c1 From 3378d61efe88f6e30cbd3b7de80094d60cbb5ff2 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 29 Jul 2024 16:06:34 +0000 Subject: [PATCH 06/15] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 80f03969d6a..acae5ec784f 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1722016987, - "narHash": "sha256-Qd+0QQdqBKRzcmNWcZmye+jA5R5bWkDLM8YxUodwkaA=", + "lastModified": 1722267817, + "narHash": "sha256-eA5xLNPaQPuxEvIIW8IfuAXXbEppox/84ecmxbGAaME=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "4c15186c1ed86fd13228f166a33ce0d44464a451", + "rev": "e0aeeb518a18305aea86270607317e0f12c754c1", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.65", + "ref": "v0.1.66", "repo": "llvm-backend", "type": "github" } From 5ebf724bb86695aeef09884515cf748b48f8e4b0 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 29 Jul 2024 16:47:28 +0000 Subject: [PATCH 07/15] deps/llvm-backend_release: Set Version 0.1.67 --- deps/llvm-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index c24b7ee51e1..5730f92c18d 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.66 +0.1.67 From 657a774e01328251aa1a8d69d21f8f1de2310e3f Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 29 Jul 2024 16:48:32 +0000 Subject: [PATCH 08/15] flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.67 --- flake.nix | 2 +- llvm-backend/src/main/native/llvm-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 0225b02b866..1c289f680fd 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.66"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.67"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.51"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index e0aeeb518a1..5f84f0cafb0 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit e0aeeb518a18305aea86270607317e0f12c754c1 +Subproject commit 5f84f0cafb0e2a21ef6e5a0ff97c36a812764dbf From 1de33992dccbbfe144596e8e93c306833aa42738 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 29 Jul 2024 16:48:45 +0000 Subject: [PATCH 09/15] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index acae5ec784f..31f9fdfb78e 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1722267817, - "narHash": "sha256-eA5xLNPaQPuxEvIIW8IfuAXXbEppox/84ecmxbGAaME=", + "lastModified": 1722270341, + "narHash": "sha256-b10zDJpmCR36x8+/Nq6r5D6drNsoDXmYYD6/QJXYH/M=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "e0aeeb518a18305aea86270607317e0f12c754c1", + "rev": "5f84f0cafb0e2a21ef6e5a0ff97c36a812764dbf", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.66", + "ref": "v0.1.67", "repo": "llvm-backend", "type": "github" } From f4a5117d642ae8ac8343b1818ce18e52ab7f75e0 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 29 Jul 2024 19:55:08 +0000 Subject: [PATCH 10/15] deps/llvm-backend_release: Set Version 0.1.68 --- deps/llvm-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index 5730f92c18d..72052e2d867 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.67 +0.1.68 From a3abe665d6e870b5ef0c0ebfc5e04aacc4d37dc0 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 29 Jul 2024 19:56:04 +0000 Subject: [PATCH 11/15] flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.68 --- flake.nix | 2 +- llvm-backend/src/main/native/llvm-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 1c289f680fd..109fb60c56a 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.67"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.68"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.51"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 5f84f0cafb0..7ad5d2c300e 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 5f84f0cafb0e2a21ef6e5a0ff97c36a812764dbf +Subproject commit 7ad5d2c300e95d422a33c58ca177c836aa941a72 From 735352e8f67989697e34e18575d0ca1cd8242a33 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 29 Jul 2024 19:56:16 +0000 Subject: [PATCH 12/15] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 31f9fdfb78e..fe9002ed61c 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1722270341, - "narHash": "sha256-b10zDJpmCR36x8+/Nq6r5D6drNsoDXmYYD6/QJXYH/M=", + "lastModified": 1722282133, + "narHash": "sha256-3SFrZJLNtlJ2zcowY0ftyDDGj4omSW1Mp3Ph7voDGxo=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "5f84f0cafb0e2a21ef6e5a0ff97c36a812764dbf", + "rev": "7ad5d2c300e95d422a33c58ca177c836aa941a72", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.67", + "ref": "v0.1.68", "repo": "llvm-backend", "type": "github" } From aca6c9739b2720892199c3c6b6bb50118f13a652 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 31 Jul 2024 19:53:02 +0000 Subject: [PATCH 13/15] deps/llvm-backend_release: Set Version 0.1.69 --- deps/llvm-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index 72052e2d867..9adbab1b3a2 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.68 +0.1.69 From 455d71b6c8de9b47bbf5779f710661e94166beab Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 31 Jul 2024 19:53:59 +0000 Subject: [PATCH 14/15] flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.69 --- flake.nix | 2 +- llvm-backend/src/main/native/llvm-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 109fb60c56a..edf3b103803 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.68"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.69"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.51"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 7ad5d2c300e..5be14fe7474 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 7ad5d2c300e95d422a33c58ca177c836aa941a72 +Subproject commit 5be14fe74740a15cb707c102425032ffdee98281 From cc10b1810f1d0c5276605ceb52c66ae8880d6e4e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 31 Jul 2024 19:54:12 +0000 Subject: [PATCH 15/15] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index fe9002ed61c..628ab9ef296 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1722282133, - "narHash": "sha256-3SFrZJLNtlJ2zcowY0ftyDDGj4omSW1Mp3Ph7voDGxo=", + "lastModified": 1722454948, + "narHash": "sha256-8mcRIlTAmQ1J3oxi0QibxmSlFWkOTRlyWy5kSHJFf6U=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "7ad5d2c300e95d422a33c58ca177c836aa941a72", + "rev": "5be14fe74740a15cb707c102425032ffdee98281", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.68", + "ref": "v0.1.69", "repo": "llvm-backend", "type": "github" }