diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml index 902077c..f4c8600 100644 --- a/.github/workflows/maven.yml +++ b/.github/workflows/maven.yml @@ -27,10 +27,10 @@ jobs: steps: - uses: actions/checkout@v4 - - name: Set up JDK 17 + - name: Set up JDK 21 uses: actions/setup-java@v3 with: - java-version: '17' + java-version: '21' distribution: 'temurin' cache: maven - name: Build with Maven diff --git a/virage/.gitignore b/virage/.gitignore index 5216f15..0f6ca3f 100644 --- a/virage/.gitignore +++ b/virage/.gitignore @@ -4,4 +4,9 @@ /.classpath /.project /.settings/ +/.bloop/ +/.metals/ +/.vscode/ /src/main/resources/generated/ +/.apt_generated/ +/.apt_generated_tests/ diff --git a/virage/pom.xml b/virage/pom.xml index 8711097..8d49197 100644 --- a/virage/pom.xml +++ b/virage/pom.xml @@ -40,19 +40,24 @@ false UTF-8 UTF-8 - 3.8.1 - 3.3.1 - 3.1.1 - 3.3.0 - 17 - 17 - 17 - 17 - 2.13.12 - 2.20.0 - 4.7.3 - 5.10.0 - 3.1.2 + 3.6.3 + 21 + 3.4.1 + 3.1.4 + 3.5.0 + 3.4.2 + 3.3.1 + 3.6.0 + 3.6.0 + 3.9.0 + ${jdk.version} + ${jdk.version} + ${jdk.version} + 2.13.16 + 2.24.3 + 4.9.2.0 + 5.12.0 + 3.5.2 /usr/lib/swi-prolog edu.kit.kastel.formal.virage.core.VirageMain @@ -108,7 +113,7 @@ org.junit.platform junit-platform-suite-engine - 1.10.0 + 1.12.0 test @@ -135,22 +140,22 @@ com.github.SWI-Prolog packages-jpl - V9.1.15 + V9.3.21 commons-cli commons-cli - 1.5.0 + 1.9.0 commons-io commons-io - 2.14.0 + 2.18.0 com.fasterxml.jackson.core jackson-databind - 2.15.2 + 2.18.3 @@ -158,22 +163,22 @@ de.unruh scala-isabelle_2.13 - 0.4.2-RC1 + 0.4.2 org.apache.commons commons-configuration2 - 2.9.0 + 2.11.0 commons-beanutils commons-beanutils - 1.9.4 + 1.10.1 com.github.ferstl depgraph-maven-plugin - 4.0.2 + 4.0.3 @@ -190,6 +195,7 @@ + org.apache.maven.plugins maven-compiler-plugin @@ -207,6 +213,14 @@ + + + ${user.home}/.virage/ + + settings.properties + + + @@ -222,12 +236,12 @@ org.apache.maven.plugins maven-resources-plugin - ${maven.clean.version} + ${maven.resources.version} net.alchim31.maven scala-maven-plugin - 4.8.1 + 4.9.2 ${scala.version} @@ -251,7 +265,12 @@ org.apache.maven.plugins maven-compiler-plugin - 3.11.0 + 3.14.0 + + ${jdk.version} + ${jdk.version} + -Xlint:deprecation + org.apache.maven.plugins @@ -278,7 +297,7 @@ org.apache.maven.plugins maven-site-plugin - 3.12.1 + 3.21.0 en @@ -286,7 +305,7 @@ org.apache.maven.plugins maven-checkstyle-plugin - ${maven.jar.version} + ${maven.checkstyle.version} checks.xml UTF-8 @@ -309,14 +328,14 @@ com.puppycrawl.tools checkstyle - 10.12.3 + 10.21.4 com.github.spotbugs spotbugs-maven-plugin - ${spotbugs.version}.5 + ${spotbugs.version} true false @@ -336,7 +355,7 @@ com.github.spotbugs - spotbugs + spotbugs-maven-plugin ${spotbugs.version} @@ -344,7 +363,7 @@ org.codehaus.mojo build-helper-maven-plugin - 3.4.0 + ${maven.buildhelper.version} add-source @@ -364,7 +383,7 @@ org.apache.maven.plugins maven-enforcer-plugin - 3.4.1 + 3.5.0 enforce-versions @@ -374,7 +393,7 @@ - 3.3.9 + 3.6.3 ${jdk.version} @@ -387,7 +406,7 @@ org.codehaus.mojo versions-maven-plugin - 2.16.0 + 2.18.0 file:///${basedir}/rules.xml false @@ -407,7 +426,7 @@ org.codehaus.mojo properties-maven-plugin - 1.2.0 + 1.2.1 read-settings @@ -417,7 +436,7 @@ - ${user.home}/.virage/settings + ${user.home}/.virage/settings.properties