Skip to content

Release preparations for Maven Central #114

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

Release preparations for Maven Central #114

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
b9bc33b
ignore IntelliJ project files
mtf90 Nov 6, 2025
ffb6e4f
add necessary configurations for performing a release
mtf90 Nov 6, 2025
4e3088e
fix errors during javadoc generation
mtf90 Nov 6, 2025
cd16c84
use consistent affiliations
mtf90 Nov 6, 2025
d343527
Fix two contributor names
kostis Nov 6, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@
/.project
/.classpath
/.settings/

.idea
213 changes: 211 additions & 2 deletions pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,13 +7,104 @@
<version>0.1-SNAPSHOT</version>
<packaging>jar</packaging>

<name>ralib</name>
<url>http://maven.apache.org</url>
<name>RALib</name>
<description>RALib is a library for active learning algorithms for register automata.</description>
<url>https://github.com/LearnLib/ralib</url>
<licenses>
<license>
<name>Apache License, Version 2.0</name>
<url>https://www.apache.org/licenses/LICENSE-2.0.txt</url>
</license>
</licenses>

<developers>
<developer>
<id>no-preserve-root</id>
<name>Simon Dierl</name>
<email>[email protected]</email>
<organization>TU Dortmund University, Dortmund, Germany</organization>
<roles>
<role>Developer</role>
</roles>
</developer>
<developer>
<id>pfg666</id>
<name>Paul Fiterau-Brostean</name>
<email>[email protected]</email>
<organization>Uppsala University, Uppsala, Sweden</organization>
<roles>
<role>Developer</role>
</roles>
</developer>
<developer>
<id>fhowar</id>
<name>Falk Howar</name>
<email>[email protected]</email>
<organization>TU Dortmund University, Dortmund, Germany</organization>
<roles>
<role>Developer</role>
</roles>
</developer>
<developer>
<id>kostis</id>
<name>Kostis Sagonas</name>
<email>[email protected]</email>
<organization>Uppsala University, Uppsala, Sweden</organization>
<roles>
<role>Developer</role>
</roles>
</developer>
<developer>
<id>FredrikTaquist</id>
<name>Fredrik Tåquist</name>
<email>[email protected]</email>
<organization>Uppsala University, Uppsala, Sweden</organization>
<roles>
<role>Developer</role>
</roles>
</developer>
</developers>
<contributors>
<contributor>
<name>Sofia Cassel</name>
<organization>Uppsala University, Uppsala, Sweden</organization>
<roles>
<role>Developer</role>
</roles>
</contributor>
<contributor>
<name>Malte Isberner</name>
<email>[email protected]</email>
<organization>TU Dortmund University, Dortmund, Germany</organization>
<roles>
<role>Developer</role>
</roles>
</contributor>
</contributors>

<scm>
<connection>scm:git:https://github.com/LearnLib/ralib.git</connection>
<developerConnection>scm:git:[email protected]:LearnLib/ralib.git</developerConnection>
<url>https://github.com/LearnLib/ralib/tree/develop</url>
<tag>HEAD</tag>
</scm>

<distributionManagement>
<repository>
<id>sonatype</id>
<url>https://central.sonatype.com</url>
</repository>
<snapshotRepository>
<id>sonatype</id>
<url>https://central.sonatype.com/repository/maven-snapshots/</url>
</snapshotRepository>
</distributionManagement>

<properties>
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
<maven.compiler.source>17</maven.compiler.source>
<maven.compiler.target>17</maven.compiler.target>
<maven.compiler.release>17</maven.compiler.release>

<!-- Dependency versions appear alphabetically below -->
<checker-qual.version>3.52.0</checker-qual.version>
Expand All @@ -27,14 +118,66 @@

<!-- Plugin versions in alphabetical order -->
<assembly-plugin.version>3.7.1</assembly-plugin.version>
<central-publish-plugin.version>0.9.0</central-publish-plugin.version>
<compiler-plugin.version>3.14.1</compiler-plugin.version>
<dependency-plugin.version>3.9.0</dependency-plugin.version>
<deploy-plugin.version>3.1.3</deploy-plugin.version>
<gpg-plugin.version>3.2.7</gpg-plugin.version>
<javadoc-plugin.version>3.11.2</javadoc-plugin.version>
<release-plugin.version>3.1.0</release-plugin.version>
<source-plugin.version>3.3.1</source-plugin.version>
<spotless-plugin.version>3.0.0</spotless-plugin.version>
<spotbugs-plugin.version>4.9.8.1</spotbugs-plugin.version>
<surefire-plugin.version>3.5.4</surefire-plugin.version>
</properties>

<build>
<pluginManagement>
<plugins>
<plugin>
<groupId>org.sonatype.central</groupId>
<artifactId>central-publishing-maven-plugin</artifactId>
<version>${central-publish-plugin.version}</version>
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-deploy-plugin</artifactId>
<version>${deploy-plugin.version}</version>
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-gpg-plugin</artifactId>
<version>${gpg-plugin.version}</version>
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId>
<version>${javadoc-plugin.version}</version>
<configuration>
<quiet>true</quiet>
<detectLinks>true</detectLinks>
<linksource>false</linksource>
<additionalOptions>--enable-preview</additionalOptions>
</configuration>
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-release-plugin</artifactId>
<version>${release-plugin.version}</version>
<configuration>
<autoVersionSubmodules>true</autoVersionSubmodules>
<tagNameFormat>ralib-@{version}</tagNameFormat>
<preparationGoals>verify</preparationGoals>
<releaseProfiles>bundles,release</releaseProfiles>
</configuration>
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-source-plugin</artifactId>
<version>${source-plugin.version}</version>
</plugin>
</plugins>
</pluginManagement>
<plugins>
<!-- Dependency analysis -->
<plugin>
Expand Down Expand Up @@ -67,6 +210,7 @@
<include>**/*.xml</include>
</includes>
<excludes>
<exclude>.idea/**/*.xml</exclude>
<exclude>target/**/*.xml</exclude>
</excludes>
<endWithNewline />
Expand Down Expand Up @@ -260,4 +404,69 @@
<version>${gson.version}</version>
</dependency>
</dependencies>

<profiles>
<profile>
<!-- enables building of javadoc and source JARs -->
<id>bundles</id>
<build>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-source-plugin</artifactId>
<executions>
<execution>
<id>attach-sources</id>
<goals>
<goal>jar-no-fork</goal>
</goals>
</execution>
</executions>
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId>
<executions>
<execution>
<id>attach-javadocs</id>
<goals>
<goal>jar</goal>
</goals>
</execution>
</executions>
</plugin>
</plugins>
</build>
</profile>
<profile>
<!-- set certain configurations when performing a release -->
<id>release</id>
<build>
<plugins>
<plugin>
<groupId>org.sonatype.central</groupId>
<artifactId>central-publishing-maven-plugin</artifactId>
<extensions>true</extensions>
<configuration>
<deploymentName>RALib ${project.version}</deploymentName>
<publishingServerId>sonatype</publishingServerId>
</configuration>
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-gpg-plugin</artifactId>
<executions>
<execution>
<id>sign-artifacts</id>
<phase>verify</phase>
<goals>
<goal>sign</goal>
</goals>
</execution>
</executions>
</plugin>
</plugins>
</build>
</profile>
</profiles>
</project>
1 change: 0 additions & 1 deletion src/main/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilder.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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<PSymbolInstance> prefix, SDT sdt, SymbolicSuffix suffix, DataValue... values) {
Expand Down
2 changes: 0 additions & 2 deletions src/main/java/de/learnlib/ralib/words/DataWords.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -91,7 +91,6 @@ public static DataType[] typesOf(Word<ParameterizedSymbol> word) {
/**
* returns set of unique data values of some type in a data word.
*
* @param
* @param word
* @param t
* @return
Expand All @@ -110,7 +109,6 @@ public static Set<DataValue> valSet(Word<PSymbolInstance> word, DataType t) {

/**
*
* @param
* @param in
* @return
*/
Expand Down