Version4.15.0compared with
Version Details
| 4.13.1 | 4.15.0 | |
|---|---|---|
| Release date | Mar 25, 2024 | Jun 30, 2025 |
| Licenses | EPL 1.0 | EPL 1.0 |
| Vulnerabilities | None | None |
Compile Changes (15)
| 4.13.1 | 4.15.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| + Added | de.hhu.stups » tlc4b | - | 1.2.1 |
| ~ Updated | com.fasterxml.jackson.core » jackson-databind | 2.16.1 | 2.18.2 |
| ~ Updated | com.fasterxml.jackson.datatype » jackson-datatype-jdk8 | 2.16.1 | 2.18.2 |
| ~ Updated | com.fasterxml.jackson.datatype » jackson-datatype-jsr310 | 2.16.1 | 2.18.2 |
| ~ Updated | com.fasterxml.jackson.module » jackson-module-parameter-names | 2.16.1 | 2.18.2 |
| ~ Updated | de.hhu.stups » answerparser | 2.13.1 | 2.15.2 |
| ~ Updated | de.hhu.stups » bparser | 2.13.1 | 2.15.2 |
| ~ Updated | de.hhu.stups » ltl-dsl | 0.2.1 | 0.2.2 |
| ~ Updated | de.hhu.stups » ltlparser | 2.13.1 | 2.15.2 |
| ~ Updated | de.hhu.stups » parserbase | 2.13.1 | 2.15.2 |
| ~ Updated | de.hhu.stups » prologlib | 2.13.1 | 2.15.2 |
| ~ Updated | de.hhu.stups » theorymapping | 2.13.1 | 2.15.2 |
| ~ Updated | de.hhu.stups » unicode | 2.13.1 | 2.15.2 |
| ~ Updated | de.hhu.stups » value-translator | 0.1.3 | 0.1.4 |
| ~ Updated | org.slf4j » slf4j-api | 2.0.11 | 2.0.17 |
Runtime Changes (3)
| 4.13.1 | 4.15.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | com.google.guava » guava | 33.0.0-jre | 33.4.0-jre |
| ~ Updated | de.hhu.stups » tla2bAST | 1.2.1 | 1.4.1 |
| ~ Updated | org.apache.velocity » velocity-engine-core | 2.3 | 2.4.1 |