From 4bb9161a5082a861aa881c5cfd512bd86e0b54a3 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Thu, 11 Sep 2025 12:56:47 -0600
Subject: [PATCH] Update LLVM version from 15/16 to 17 across K Framework
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- Update GitHub Actions workflows: llvm: 15/16 → 17
- Update Debian package dependencies:
  - control.jammy: clang-15→17, lld-15→17, llvm-15→17
  - control.noble: clang-16→17, lld-16→17 (llvm-17 already correct)
- Update install-build-deps: clang-15→17, lld-15→17, llvm-15-tools→17
- Update macOS Homebrew: llvm@15→17
- Update macos-envrc: llvm@15→17
- Update llvm-backend submodule to include LLVM 17 changes

This migration aligns K Framework with LLVM 17 for improved performance
and compatibility with newer toolchain features.

Depends on: https://github.com/runtimeverification/llvm-backend/pull/1214
---
 .github/workflows/release.yml           | 4 ++--
 .github/workflows/test-pr.yml           | 6 +++---
 package/debian/kframework/control.jammy | 2 +-
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 11094959bf4..1e732e52d57 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -243,7 +243,7 @@ jobs:
         with:
           os: ubuntu
           distro: jammy
-          llvm: 15
+          llvm: 17
           pkg-name: kframework_amd64_ubuntu_jammy.deb
           build-package: package/debian/build-package jammy kframework
           test-package: package/debian/test-package
@@ -531,7 +531,7 @@ jobs:
           tag: k-release-ci-${{ github.sha }}
           os: ubuntu
           distro: jammy
-          llvm: 15
+          llvm: 17
 
       - name: 'Push Maven Packages'
         shell: bash {0}
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index 141d4b9396e..0b9cd8e8329 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -79,7 +79,7 @@ jobs:
           tag: k-ci-${{ github.sha }}
           os: ubuntu
           distro: jammy
-          llvm: 15
+          llvm: 17
       - name: 'Build and Test K'
         run: docker exec -t "k-ci-${GITHUB_SHA}" /bin/bash -c 'mvn verify -Dspotless.check.skip=true --batch-mode -U'
       - name: 'Tear down Docker'
@@ -100,7 +100,7 @@ jobs:
         with:
           os: ubuntu
           distro: jammy
-          llvm: 15
+          llvm: 17
           build-package: package/debian/build-package jammy kframework
           test-package: package/debian/test-package
       - name: On Failure, Upload the kore-exec.tar.gz file to the Summary Page
@@ -131,7 +131,7 @@ jobs:
         with:
           os: ubuntu
           distro: jammy
-          llvm: 15
+          llvm: 17
           build-package: package/debian/build-package jammy kframework-frontend
           test-package: package/debian/test-frontend-package
       - name: On Failure, Upload the kore-exec.tar.gz file to the Summary Page
diff --git a/package/debian/kframework/control.jammy b/package/debian/kframework/control.jammy
index 6fcfc5e3f4a..55948b8d89d 100644
--- a/package/debian/kframework/control.jammy
+++ b/package/debian/kframework/control.jammy
@@ -10,7 +10,7 @@ Package: kframework
 Architecture: any
 Section: devel
 Priority: optional
-Depends: bison , clang-15 , openjdk-17-jre-headless , flex , gcc , g++ , libboost-dev , libffi-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libsecp256k1-0 , libtinfo-dev , libunwind-dev , libyaml-0-2 , libz3-4 , lld-15 , llvm-15 , pkg-config
+Depends: bison , clang-17 , openjdk-17-jre-headless , flex , gcc , g++ , libboost-dev , libffi-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libsecp256k1-0 , libtinfo-dev , libunwind-dev , libyaml-0-2 , libz3-4 , lld-17 , llvm-17 , pkg-config
 Recommends: z3
 Description: K framework toolchain
  Includes K Framework compiler for K language definitions, and K interpreter