Update all dependencies

| datasource     | package                              | from   | to    |
| -------------- | ------------------------------------ | ------ | ----- |
| github-tags    | actions/checkout                     | v3     | v4    |
| github-tags    | actions/setup-java                   | v3     | v4    |
| github-tags    | actions/upload-artifact              | v3     | v4    |
| cdnjs          | font-awesome/css/font-awesome.css    | 4.7.0  | 6.5.2 |
| github-tags    | gradle/gradle-build-action           | v2     | v3    |
| github-runners | macos                                | 11     | 13    |
| github-tags    | stefanzweifel/git-auto-commit-action | v4     | v5    |
| maven          | org.sosy-lab:java-smt                | 3.14.3 | 4.1.1 |

.github/workflows/generate-alpha-tag.yaml

@@ -14,12 +14,12 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
       - name: Set up Java
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           distribution: 'temurin'
           java-version: '17'
@@ -38,13 +38,13 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
           token: ${{ secrets.TOKEN_GITHUB_ACTION }}
 
       - name: Set up Java
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           distribution: 'temurin'
           java-version: '17'

.github/workflows/generate-tag.yaml

@@ -34,12 +34,12 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
       - name: Set up Java
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           distribution: 'temurin'
           java-version: '17'
@@ -58,13 +58,13 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
           token: ${{ secrets.TOKEN_GITHUB_ACTION }}
 
       - name: Set up Java
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           distribution: 'temurin'
           java-version: '17'

.github/workflows/publish.yml

@@ -29,17 +29,17 @@ jobs:
       analysis-version: ${{ steps.get-analysis-version.outputs.analysis-version }}
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
-      - uses: actions/setup-java@v3
+      - uses: actions/setup-java@v4
         with:
           distribution: 'temurin'
           java-version: '17'
 
       - name: Build and test with Gradle
-        uses: gradle/gradle-build-action@v2
+        uses: gradle/gradle-build-action@v3
         with:
           arguments: build --scan --stacktrace
 
@@ -50,7 +50,7 @@ jobs:
           echo "::set-output name=analysis-version::$(head -n 1 build/semver/version.txt)"
 
       - name: Upload reports
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: 'reports-${{ matrix.os }}'
           path: '**/build/reports/**'
@@ -71,12 +71,12 @@ jobs:
   publish:
     needs: build
 
-    runs-on: macos-11
+    runs-on: macos-13
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
 
-    - uses: actions/setup-java@v3
+    - uses: actions/setup-java@v4
       with:
         distribution: 'temurin'
         java-version: '17'
@@ -126,9 +126,9 @@ jobs:
       S3_BUCKET: ${{ secrets.S3_BUCKET }}
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
-      - uses: actions/setup-java@v3
+      - uses: actions/setup-java@v4
         with:
           distribution: 'temurin'
           java-version: '17'

.github/workflows/pull_request.yml

@@ -15,22 +15,22 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
-      - uses: actions/setup-java@v3
+      - uses: actions/setup-java@v4
         with:
           distribution: 'temurin'
           java-version: '17'
 
       - name: Build and test with Gradle
-        uses: gradle/gradle-build-action@v2
+        uses: gradle/gradle-build-action@v3
         with:
           arguments: build --scan --stacktrace
 
       - name: Upload reports
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: 'reports-${{ matrix.os }}'
           path: '**/build/reports/**'
@@ -53,20 +53,20 @@ jobs:
     timeout-minutes: 20
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
       - name: Build
-        uses: gradle/gradle-build-action@v2
+        uses: gradle/gradle-build-action@v3
         with:
           arguments: apiDump
 
       - name: Stop Gradle daemons
         run: ./gradlew --stop
 
       - name: "Commit new API files"
-        uses: stefanzweifel/git-auto-commit-action@v4
+        uses: stefanzweifel/git-auto-commit-action@v5
         with:
           commit_message: Update API files
           file_pattern: /**/api/*.api

docs/docs/_includes/_head-docs-analysis.html

@@ -23,7 +23,7 @@
   <link rel="shortcut icon" href="{{ '/img/favicon.png' | relative_url }}">
 
   <!-- Font Awesome -->
-  <link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.css" rel="stylesheet" type="text/css">
+  <link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.5.2/css/font-awesome.css" rel="stylesheet" type="text/css">
 
   <script src="https://unpkg.com/arrow-playground@1" data-selector="[class^='language-kotlin']"></script>
   <!-- Site main css -->

gradle/projects.libs.versions.toml

@@ -8,7 +8,7 @@ junit = "5.9.2"
 junitLauncher = "1.9.2"
 kotlin = "1.8.21"
 kotest = "5.6.1"
-javaSmt = "3.14.3"
+javaSmt = "4.1.1"
 javaCompileTesting = "0.21.0"
 apacheCommonsText = "1.10.0"
 sarif4k = "0.3.0"