Update LLVM version from 15/16 to 17 across K Framework (#4854)

## Summary

This PR updates the LLVM version from 15/16 to 17 across the entire K
Framework repository to align with modern toolchain requirements and
improve performance.

## ⚠️ **IMPORTANT DEPENDENCY**

**This PR requires [llvm-backend PR
#1214](runtimeverification/llvm-backend#1214) to
be merged first.**

The llvm-backend submodule changes are included in this PR, but the
final merge should wait until the llvm-backend PR is merged and released
to ensure proper dependency alignment.

## Changes Made

### **GitHub Actions Workflows**
- **`.github/workflows/release.yml`**: Updated all `llvm: 15/16` →
`llvm: 17`
- **`.github/workflows/test-pr.yml`**: Updated all `llvm: 15` → `llvm:
17`

### **Debian Package Dependencies**
- **`package/debian/kframework/control.jammy`**:
  - `clang-15` → `clang-17`
  - `lld-15` → `lld-17`
  - `llvm-15` → `llvm-17`
- **`package/debian/kframework/control.noble`**:
  - `clang-16` → `clang-17`
  - `lld-16` → `lld-17`
  - `llvm-17` (already correct)

### **Installation Scripts**
- **`install-build-deps`**: Updated Debian package installation
  - `clang-15` → `clang-17`
  - `lld-15` → `lld-17`
  - `llvm-15-tools` → `llvm-17-tools`

### **macOS Support**
- **`package/macos/brew-install-deps`**: `llvm@15` → `llvm@17`
- **`macos-envrc`**: Updated environment variables for `llvm@17`

### **Submodule Updates**
- **`llvm-backend/src/main/native/llvm-backend`**: Updated to include
LLVM 17 changes from [PR
#1214](runtimeverification/llvm-backend#1214)

## Testing Strategy

- [x] **CI/CD**: GitHub Actions will test with LLVM 17
- [x] **Debian Packages**: Test builds on Ubuntu Jammy (22.04) and Noble
(24.04)
- [ ] **macOS**: Test Homebrew installation with `llvm@17`
- [x] **Submodule**: Verify llvm-backend integration works correctly

## Migration Benefits

1. **Performance**: LLVM 17 includes performance improvements and
optimizations
2. **Compatibility**: Better support for modern C++ features and
standards
3. **Security**: Latest security patches and bug fixes
4. **Toolchain**: Improved debugging and analysis tools

## Related PRs

- **llvm-backend**: [PR
#1214](runtimeverification/llvm-backend#1215) -
Update LLVM version from 15 to 17
- **haskell-backend**: May need similar updates (to be determined)

## Checklist

- [x] Update GitHub Actions workflows
- [x] Update Debian package dependencies
- [x] Update installation scripts
- [x] Update macOS Homebrew configuration
- [x] Update llvm-backend submodule
- [x] Wait for llvm-backend PR #1214 to merge
- [ ] Update `deps/llvm-backend_release` after llvm-backend release
- [ ] Final testing and validation

Author: F-WRunTime

.github/workflows/release.yml

@@ -177,7 +177,7 @@ jobs:
         with:
           os: ubuntu
           distro: noble
-          llvm: 16
+          llvm: 17
           jdk: 21
           pkg-name: kframework_amd64_ubuntu_noble.deb
           build-package: package/debian/build-package noble kframework

install-build-deps

@@ -11,7 +11,7 @@ inst_Debian() {
     sudo apt-get install -q     \
         bison                   \
         build-essential         \
-        clang-15                \
+        clang-17                \
         cmake                   \
         curl                    \
         flex                    \
@@ -26,8 +26,8 @@ inst_Debian() {
         libunwind-dev           \
         libyaml-dev             \
         libz3-dev               \
-        lld-15                  \
-        llvm-15-tools           \
+        lld-17                  \
+        llvm-17-tools           \
         m4                      \
         maven                   \
         openjdk-17-jdk          \

macos-envrc

@@ -3,5 +3,5 @@
 
 PATH_add `brew --prefix bison`/bin
 PATH_add `brew --prefix flex`/bin
-PATH_add `brew --prefix llvm@15`/bin
+PATH_add `brew --prefix llvm@17`/bin
 PATH_add `brew --prefix openjdk`/bin

package/debian/kframework/control.noble

@@ -2,15 +2,15 @@ Source: kframework
 Section: devel
 Priority: optional
 Maintainer: Dwight Guth <dwight.guth@runtimeverification.com>
-Build-Depends: clang-16 , cmake , debhelper (>=10) , flex , libboost-test-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libsecp256k1-dev , libunwind-dev , libyaml-dev , maven , openjdk-21-jdk , pkg-config , python3 , python3-dev , python3-pip , xxd , zlib1g-dev
+Build-Depends: clang-17 , cmake , debhelper (>=10) , flex , libboost-test-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libsecp256k1-dev , libunwind-dev , libyaml-dev , maven , openjdk-21-jdk , pkg-config , python3 , python3-dev , python3-pip , xxd , zlib1g-dev
 Standards-Version: 3.9.6
 Homepage: https://github.com/runtimeverification/k
 
 Package: kframework
 Architecture: any
 Section: devel
 Priority: optional
-Depends: bison , clang-16 , openjdk-21-jre-headless , flex , gcc , g++ , libboost-dev , libffi-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libsecp256k1-1 , libtinfo-dev , libunwind-dev , libyaml-0-2 , libz3-4 , lld-16 , llvm-16 , pkg-config
+Depends: bison , clang-17 , openjdk-21-jre-headless , flex , gcc , g++ , libboost-dev , libffi-dev , libfmt-dev , libgmp-dev , libjemalloc-dev , libmpfr-dev , libsecp256k1-1 , 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

package/macos/brew-install-deps

@@ -1,4 +1,4 @@
 #!/bin/bash -ex
 
 brew update
-brew install maven cmake boost libyaml jemalloc llvm@12 gmp mpfr z3 pkg-config flex bison haskell-stack
+brew install maven cmake boost libyaml jemalloc llvm@17 gmp mpfr z3 pkg-config flex bison haskell-stack