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