Replacing llvm 14 with llvm 15 as a pre-requirement for K (#3270)

* Replacing llvm 14 with llvm 15 as a pre-requirement for K

* Updating GDB/LLDB Tutorial

Author: Robertorosmaninho

README.md

@@ -80,7 +80,7 @@ sudo apt-get install build-essential m4 openjdk-11-jdk libfmt-dev libgmp-dev lib
 curl -sSL https://get.haskellstack.org/ | sh
 ```
 
-Note: we require a version between 10 and 14 for clang, lld, and llvm-tools.
+Note: we require a version between 10 and 15 for clang, lld, and llvm-tools.
 
 On Arch Linux:
 
@@ -94,7 +94,7 @@ If you install this list of dependencies, continue directly to the [Build and In
 On macOS using [Homebrew](https://brew.sh/):
 ```shell
 git submodule update --init --recursive
-brew install bison boost cmake flex fmt gcc gmp openjdk jemalloc libyaml llvm@14 make maven mpfr pkg-config python stack zlib z3
+brew install bison boost cmake flex fmt gcc gmp openjdk jemalloc libyaml llvm@15 make maven mpfr pkg-config python stack zlib z3
 ```
 
 ## The Long Version
@@ -151,7 +151,7 @@ See the notes below.
         explicitly make it available for command line usage. See the results
         of the `brew info llvm` command for more information on how to do this.
         Additionally, the default version of LLVM supplied by Homebrew is newer
-        than the version supported by K. The formula `llvm@14` should be used
+        than the version supported by K. The formula `llvm@15` should be used
         instead of `llvm`.
 
 3.  Flex / Bison

k-distribution/k-tutorial/1_basic/19_debugging/README.md

@@ -14,9 +14,10 @@ This lesson has been written with GDB support on Linux in mind. Unfortunately,
 on macOS, GDB has limited support. To address this, we have introduced early
 experimental support for debugging with LLDB on macOS. In some cases, the
 features supported by LLDB are slightly different to those supported by GDB; the
-tutorial text will make this clear where necessary. If you encounter an issue on
-either operating system, please open an issue against the
-[K repository](https://github.com/runtimeverification/k).
+tutorial text will make this clear where necessary. If you use a macOS with an
+LLVM version older than 15, you may need to upgrade it to use the LLDB
+correctly. If you encounter an issue on either operating system, please open an
+issue against the [K repository](https://github.com/runtimeverification/k).
 
 ## Getting started
 

macos-envrc

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