Updated versions: gradle, java, jacoco, kotlin, etc

.github/workflows/build-linux.yml

@@ -11,10 +11,10 @@ jobs:
     runs-on: ${{ matrix.os }}
     steps:
     - uses: actions/checkout@v2
-    - name: Set up JDK 1.11
+    - name: Set up JDK 1.17
       uses: actions/setup-java@v1
       with:
-        java-version: 1.11
+        java-version: 1.17
     - name: Grant execute permission for gradlew
       run: chmod +x gradlew
     - name: Build with Gradle

.github/workflows/build-win.yml

@@ -11,10 +11,10 @@ jobs:
     runs-on: ${{ matrix.os }}
     steps:
     - uses: actions/checkout@v2
-    - name: Set up JDK 1.11
+    - name: Set up JDK 1.17
       uses: actions/setup-java@v1
       with:
-        java-version: 1.11
+        java-version: 1.17
     - name: Install VC-Redist 2010 and 2012
       run: |
         Install-Module -Name VcRedist -Force

.github/workflows/deploy-javadoc.yml

@@ -9,10 +9,10 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
-      - name: Set up JDK 1.11
+      - name: Set up JDK 1.17
         uses: actions/setup-java@v1
         with:
-          java-version: 1.11
+          java-version: 1.17
       - name: Generate Javadoc
         run: ./gradlew aggregateJavadoc
       - name: Deploy Javadoc

buildSrc/build.gradle.kts

@@ -27,8 +27,8 @@ fun gradlePlugin(id: String, version: String): String = "$id:$id.gradle.plugin:$
 
 dependencies {
     compileOnly(gradleKotlinDsl())
-    compile(kotlin("gradle-plugin", kotlinVersion))
-    compile(gradlePlugin("com.github.johnrengelman.shadow", shadowVersion))
+    implementation(kotlin("gradle-plugin", kotlinVersion))
+    implementation(gradlePlugin("com.github.johnrengelman.shadow", shadowVersion))
 }
 
 // Force the embeddable Kotlin compiler version to be the selected kotlinVersion.

buildSrc/gradle.properties

@@ -1,10 +1,10 @@
-javaVersion=11
-kotlinVersion=1.3.0
-shadowVersion=6.1.0
-antlrVersion=4.7.2
-guavaVersion=23.6-jre
+javaVersion=17
+kotlinVersion=1.6.20
+shadowVersion=7.1.2
+antlrVersion=4.9.2
+guavaVersion=31.1-jre
 jcommanderVersion=1.72
 z3Version=4.5.0
 junitVersion=4.12
-jacocoVersion=0.8.2
+jacocoVersion=0.8.8
 mockitoVersion=2.2.11

docker/theta-cfa-cli.Dockerfile

@@ -1,4 +1,4 @@
-FROM openjdk:11.0.6-slim
+FROM openjdk:17.0.2-slim
 
 RUN apt-get update && \
     apt-get install -y --no-install-recommends libgomp1 && \

docker/theta-sts-cli.Dockerfile

@@ -1,4 +1,4 @@
-FROM openjdk:11.0.6-slim
+FROM openjdk:17.0.2-slim
 
 RUN apt-get update && \
     apt-get install -y --no-install-recommends libgomp1 && \

docker/theta-xsts-cli.Dockerfile

@@ -1,4 +1,4 @@
-FROM openjdk:11.0.6-slim
+FROM openjdk:17.0.2-slim
 
 RUN apt-get update && \
     apt-get install -y --no-install-recommends libgomp1 && \

docker/theta-xta-cli.Dockerfile

@@ -1,4 +1,4 @@
-FROM openjdk:11.0.6-slim
+FROM openjdk:17.0.2-slim
 
 RUN apt-get update && \
     apt-get install -y --no-install-recommends libgomp1 && \

gradle/wrapper/gradle-wrapper.properties

@@ -1,5 +1,5 @@
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-6.6.1-bin.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-7.4.2-bin.zip
 zipStoreBase=GRADLE_USER_HOME
 zipStorePath=wrapper/dists

subprojects/cfa/cfa-analysis/build.gradle.kts

@@ -3,10 +3,11 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-analysis"))
-    compile(project(":theta-cfa"))
-    compile(project(":theta-common"))
-    compile(project(":theta-core"))
+    implementation(project(":theta-analysis"))
+    implementation(project(":theta-cfa"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-solver"))
     testImplementation(project(":theta-solver-z3"))
     testImplementation(project(":theta-solver-smtlib"))
 }

subprojects/cfa/cfa-cli/build.gradle.kts

@@ -4,10 +4,14 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-cfa"))
-    compile(project(":theta-cfa-analysis"))
-    compile(project(":theta-solver-z3"))
-    compile(project(":theta-solver-smtlib"))
+    implementation(project(":theta-cfa"))
+    implementation(project(":theta-solver"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-analysis"))
+    implementation(project(":theta-cfa-analysis"))
+    implementation(project(":theta-solver-z3"))
+    implementation(project(":theta-solver-smtlib"))
 }
 
 application {

subprojects/cfa/cfa/build.gradle.kts

@@ -4,6 +4,6 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-common"))
-    compile(project(":theta-core"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
 }

subprojects/common/analysis/build.gradle.kts

@@ -3,8 +3,8 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-common"))
-    compile(project(":theta-core"))
-    compile(project(":theta-solver"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-solver"))
     testImplementation(project(":theta-solver-z3"))
 }

subprojects/common/core/build.gradle.kts

@@ -5,7 +5,8 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-common"))
+    implementation(project(":theta-common"))
+    testFixturesImplementation(project(":theta-common"))
     val libPath: String by rootProject.extra
     testFixturesImplementation(fileTree(mapOf("dir" to libPath, "include" to listOf("*.jar"))))
     testFixturesImplementation(Deps.guava)

subprojects/frontends/c-frontend/build.gradle.kts

@@ -3,5 +3,6 @@ plugins {
     id("antlr-grammar")
 }
 dependencies {
-    compile(project(":theta-core"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-common"))
 }

subprojects/solver/solver-smtlib-cli/build.gradle.kts

@@ -4,7 +4,9 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-solver-smtlib"))
+    implementation(project(":theta-solver-smtlib"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-solver"))
 }
 
 application {

subprojects/solver/solver-smtlib/build.gradle.kts

@@ -4,10 +4,10 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-common"))
-    compile(project(":theta-core"))
-    compile(project(":theta-solver"))
-    compile("org.apache.commons:commons-compress:1.20")
-    compile("com.zaxxer:nuprocess:2.0.2")
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-solver"))
+    implementation("org.apache.commons:commons-compress:1.20")
+    implementation("com.zaxxer:nuprocess:2.0.2")
     testImplementation(testFixtures(project(":theta-core")))
 }

subprojects/solver/solver-z3/build.gradle.kts

@@ -3,9 +3,9 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-common"))
-    compile(project(":theta-core"))
-    compile(project(":theta-solver"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-solver"))
     implementation(files(rootDir.resolve(Deps.z3)))
     testImplementation(testFixtures(project(":theta-core")))
 }

subprojects/solver/solver/build.gradle.kts

@@ -3,6 +3,6 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-common"))
-    compile(project(":theta-core"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
 }

subprojects/sts/sts-analysis/build.gradle.kts

@@ -3,9 +3,10 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-analysis"))
-    compile(project(":theta-common"))
-    compile(project(":theta-core"))
-    compile(project(":theta-sts"))
+    implementation(project(":theta-analysis"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-sts"))
+    implementation(project(":theta-solver"))
     testImplementation(project(":theta-solver-z3"))
 }

subprojects/sts/sts-cli/build.gradle.kts

@@ -4,9 +4,13 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-sts"))
-    compile(project(":theta-sts-analysis"))
-    compile(project(":theta-solver-z3"))
+    implementation(project(":theta-sts"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-analysis"))
+    implementation(project(":theta-solver"))
+    implementation(project(":theta-sts-analysis"))
+    implementation(project(":theta-solver-z3"))
 }
 
 application {

subprojects/sts/sts/build.gradle.kts

@@ -4,6 +4,6 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-common"))
-    compile(project(":theta-core"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
 }

subprojects/xcfa/cat/build.gradle.kts

@@ -4,9 +4,9 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-xcfa"))
-    compile(project(":theta-common"))
-    compile(project(":theta-core"))
-    compile(project(":theta-solver"))
-    compile(project(":theta-solver-z3"))
+    implementation(project(":theta-xcfa"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-solver"))
+    implementation(project(":theta-solver-z3"))
 }

subprojects/xcfa/xcfa-analysis/build.gradle.kts

@@ -4,10 +4,16 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-cfa-analysis"))
-    compile(project(":theta-xcfa"))
-    compile(project(":theta-core"))
-    compile(project(":theta-cat"))
-    compile(project(":theta-common"))
-    compile(project(":theta-solver-smtlib"))
+    implementation(project(":theta-cfa"))
+    implementation(project(":theta-cfa-analysis"))
+    implementation(project(":theta-xcfa"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-cat"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-analysis"))
+    implementation(project(":theta-solver"))
+    implementation(project(":theta-solver-z3"))
+    implementation(project(":theta-c-frontend"))
+    implementation(project(":theta-solver-smtlib"))
 }

subprojects/xcfa/xcfa-cli/build.gradle.kts

@@ -4,12 +4,18 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-xcfa"))
-    compile(project(":theta-xcfa-analysis"))
-    compile(project(":theta-solver-z3"))
-    compile(project(":theta-cfa-analysis"))
-    compile(project(":theta-cfa"))
-    compile(project(":theta-cfa-cli"))
+    implementation(project(":theta-xcfa"))
+    implementation(project(":theta-xcfa-analysis"))
+    implementation(project(":theta-solver-z3"))
+    implementation(project(":theta-cfa-analysis"))
+    implementation(project(":theta-cfa"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-solver"))
+    implementation(project(":theta-c-frontend"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-analysis"))
+    implementation(project(":theta-solver-smtlib"))
+    implementation(project(":theta-cfa-cli"))
 }
 
 application {

subprojects/xcfa/xcfa/build.gradle.kts

@@ -3,11 +3,11 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-common"))
-    compile(project(":theta-core"))
-    compile(project(":theta-cfa"))
-    compile(project(":theta-cfa-analysis"))
-    compile(project(":theta-solver-z3"))
-    compile(project(":theta-c-frontend"))
-    testCompile(project(":theta-c-frontend"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-cfa"))
+    implementation(project(":theta-cfa-analysis"))
+    implementation(project(":theta-solver-z3"))
+    implementation(project(":theta-c-frontend"))
+    testImplementation(project(":theta-c-frontend"))
 }

subprojects/xsts/xsts-analysis/build.gradle.kts

@@ -3,9 +3,10 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-analysis"))
-    compile(project(":theta-common"))
-    compile(project(":theta-core"))
-    compile(project(":theta-xsts"))
+    implementation(project(":theta-analysis"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-solver"))
+    implementation(project(":theta-xsts"))
     testImplementation(project(":theta-solver-z3"))
 }

subprojects/xsts/xsts-cli/build.gradle.kts

@@ -4,9 +4,13 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-xsts"))
-    compile(project(":theta-xsts-analysis"))
-    compile(project(":theta-solver-z3"))
+    implementation(project(":theta-xsts"))
+    implementation(project(":theta-xsts-analysis"))
+    implementation(project(":theta-analysis"))
+    implementation(project(":theta-core"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-solver-z3"))
+    implementation(project(":theta-solver"))
 }
 
 application {

subprojects/xsts/xsts/build.gradle.kts

@@ -4,6 +4,6 @@ plugins {
 }
 
 dependencies {
-    compile(project(":theta-common"))
-    compile(project(":theta-core"))
+    implementation(project(":theta-common"))
+    implementation(project(":theta-core"))
 }