Home » de.hhu.stups » prob-java » 4.15.1 » Changes

ProB Java » 4.15.1

Core of the ProB Java API
Version4.15.1compared with

Version Details

4.15.0 4.15.1
Release dateJun 30, 2025Jan 16, 2026
LicensesEPL 1.0EPL 1.0
VulnerabilitiesNoneNone

Compile Changes (13)

4.15.0 4.15.1
ChangeGroup / ArtifactPreviousCurrent
~ Updated com.fasterxml.jackson.core » jackson-databind2.18.22.20.1
~ Updated com.fasterxml.jackson.datatype » jackson-datatype-jdk82.18.22.20.1
~ Updated com.fasterxml.jackson.datatype » jackson-datatype-jsr3102.18.22.20.1
~ Updated com.fasterxml.jackson.module » jackson-module-parameter-names2.18.22.20.1
~ Updated de.hhu.stups » answerparser2.15.22.15.4
~ Updated de.hhu.stups » bparser2.15.22.15.4
~ Updated de.hhu.stups » ltlparser2.15.22.15.4
~ Updated de.hhu.stups » parserbase2.15.22.15.4
~ Updated de.hhu.stups » prologlib2.15.22.15.4
~ Updated de.hhu.stups » theorymapping2.15.22.15.4
~ Updated de.hhu.stups » tlc4b1.2.11.2.3
~ Updated de.hhu.stups » unicode2.15.22.15.4
~ Updated de.hhu.stups » value-translator0.1.40.2.2

Runtime Changes (2)

4.15.0 4.15.1
ChangeGroup / ArtifactPreviousCurrent
~ Updated com.google.guava » guava33.4.0-jre33.5.0-jre
~ Updated de.hhu.stups » tla2bAST1.4.11.4.2