From b9bc33bf4ebc5aae31994413e34c28de661f50d8 Mon Sep 17 00:00:00 2001 From: Markus Frohme Date: Thu, 6 Nov 2025 12:00:16 +0100 Subject: [PATCH 1/5] ignore IntelliJ project files --- .gitignore | 2 +- pom.xml | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index f3713ad2..3c1a4d11 100644 --- a/.gitignore +++ b/.gitignore @@ -4,4 +4,4 @@ /.project /.classpath /.settings/ - +.idea diff --git a/pom.xml b/pom.xml index 17b1484f..fa4e143d 100644 --- a/pom.xml +++ b/pom.xml @@ -67,6 +67,7 @@ **/*.xml + .idea/**/*.xml target/**/*.xml From ffb6e4f946d1fca4a997b0775f3f7f40ce2ac408 Mon Sep 17 00:00:00 2001 From: Markus Frohme Date: Thu, 6 Nov 2025 14:37:47 +0100 Subject: [PATCH 2/5] add necessary configurations for performing a release --- .github/workflows/ci.yml | 2 +- pom.xml | 212 ++++++++++++++++++++++++++++++++++++++- 2 files changed, 211 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 45c6f2ef..8a0da758 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -16,4 +16,4 @@ jobs: java-version: '17' distribution: 'temurin' - name: Compile, check, and run tests - run: mvn verify assembly:single + run: mvn -Pbundles verify assembly:single diff --git a/pom.xml b/pom.xml index fa4e143d..d02e09ab 100644 --- a/pom.xml +++ b/pom.xml @@ -7,13 +7,104 @@ 0.1-SNAPSHOT jar - ralib - http://maven.apache.org + RALib + RALib is a library for active learning algorithms for register automata. + https://github.com/LearnLib/ralib + + + Apache License, Version 2.0 + https://www.apache.org/licenses/LICENSE-2.0.txt + + + + + + no-preserve-root + Simon Dierl + simon.dierl@tu-dortmund.de + TU Dortmund University, Dortmund, Germany + + Developer + + + + pfg666 + Paul Fiterau-Brostean + fiteraup@yahoo.com + Uppsala University, Uppsala, Sweden + + Developer + + + + fhowar + Falk Howar + falk.howar@gmail.com + TU Dortmund University, Dortmund, Germany + + Developer + + + + kostis + Konstantinos Sagonas + kostis@it.uu.se + Uppsala University, Uppsala, Sweden + + Developer + + + + FredrikTaquist + Fredrik Tåquist + fredrik.takvist@it.uu.se + Uppsala University, Uppsala, Sweden + + Developer + + + + + + Sophia Cassel + Uppsala University, Uppsala, Sweden + + Developer + + + + Malte Isberner + malte.isberner@gmail.com + TU Dortmund University, Chair of Programming Systems + + Developer + + + + + + scm:git:https://github.com/LearnLib/ralib.git + scm:git:git@github.com:LearnLib/ralib.git + https://github.com/LearnLib/ralib/tree/develop + HEAD + + + + + sonatype + https://central.sonatype.com + + + sonatype + https://central.sonatype.com/repository/maven-snapshots/ + + UTF-8 17 17 + 17 3.52.0 @@ -27,14 +118,66 @@ 3.7.1 + 0.9.0 3.14.1 3.9.0 + 3.1.3 + 3.2.7 + 3.11.2 + 3.1.0 + 3.3.1 3.0.0 4.9.8.1 3.5.4 + + + + org.sonatype.central + central-publishing-maven-plugin + ${central-publish-plugin.version} + + + org.apache.maven.plugins + maven-deploy-plugin + ${deploy-plugin.version} + + + org.apache.maven.plugins + maven-gpg-plugin + ${gpg-plugin.version} + + + org.apache.maven.plugins + maven-javadoc-plugin + ${javadoc-plugin.version} + + true + true + false + --enable-preview + + + + org.apache.maven.plugins + maven-release-plugin + ${release-plugin.version} + + true + ralib-@{version} + verify + bundles,release + + + + org.apache.maven.plugins + maven-source-plugin + ${source-plugin.version} + + + @@ -261,4 +404,69 @@ ${gson.version} + + + + + bundles + + + + org.apache.maven.plugins + maven-source-plugin + + + attach-sources + + jar-no-fork + + + + + + org.apache.maven.plugins + maven-javadoc-plugin + + + attach-javadocs + + jar + + + + + + + + + + release + + + + org.sonatype.central + central-publishing-maven-plugin + true + + RALib ${project.version} + sonatype + + + + org.apache.maven.plugins + maven-gpg-plugin + + + sign-artifacts + verify + + sign + + + + + + + + From 4e3088ea384e67227031f6462eef17f5cc9bcd42 Mon Sep 17 00:00:00 2001 From: Markus Frohme Date: Thu, 6 Nov 2025 14:38:03 +0100 Subject: [PATCH 3/5] fix errors during javadoc generation --- .../ralib/oracles/mto/OptimizedSymbolicSuffixBuilder.java | 1 - src/main/java/de/learnlib/ralib/words/DataWords.java | 2 -- 2 files changed, 3 deletions(-) diff --git a/src/main/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilder.java b/src/main/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilder.java index 85cf6eba..4ed630e5 100644 --- a/src/main/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilder.java +++ b/src/main/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilder.java @@ -51,7 +51,6 @@ public OptimizedSymbolicSuffixBuilder(Constants consts, SymbolicSuffixRestrictio * @param prefix (last symbol will be prepended to suffix) * @param sdt * @param suffix - * @param registers - a list of registers that must be revealed by the suffix * @return a new suffix formed by prepending suffix with the last symbol of prefix */ public SymbolicSuffix extendSuffix(Word prefix, SDT sdt, SymbolicSuffix suffix, DataValue... values) { diff --git a/src/main/java/de/learnlib/ralib/words/DataWords.java b/src/main/java/de/learnlib/ralib/words/DataWords.java index 2cb307c6..6408e648 100644 --- a/src/main/java/de/learnlib/ralib/words/DataWords.java +++ b/src/main/java/de/learnlib/ralib/words/DataWords.java @@ -91,7 +91,6 @@ public static DataType[] typesOf(Word word) { /** * returns set of unique data values of some type in a data word. * - * @param * @param word * @param t * @return @@ -110,7 +109,6 @@ public static Set valSet(Word word, DataType t) { /** * - * @param * @param in * @return */ From cd16c8465f4f4b573e72f799475580341b19efec Mon Sep 17 00:00:00 2001 From: Markus Frohme Date: Thu, 6 Nov 2025 15:09:32 +0100 Subject: [PATCH 4/5] use consistent affiliations --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index d02e09ab..4c7a37b6 100644 --- a/pom.xml +++ b/pom.xml @@ -75,7 +75,7 @@ Malte Isberner malte.isberner@gmail.com - TU Dortmund University, Chair of Programming Systems + TU Dortmund University, Dortmund, Germany Developer From d34352780e35ecb78807fe219c56def4925cc658 Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Thu, 6 Nov 2025 16:59:24 +0100 Subject: [PATCH 5/5] Fix two contributor names --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index 4c7a37b6..0b4f672c 100644 --- a/pom.xml +++ b/pom.xml @@ -47,7 +47,7 @@ kostis - Konstantinos Sagonas + Kostis Sagonas kostis@it.uu.se Uppsala University, Uppsala, Sweden @@ -66,7 +66,7 @@ - Sophia Cassel + Sofia Cassel Uppsala University, Uppsala, Sweden Developer