Home » io.github.p-org » psym » 1.0.7 » Changes

PSym Runtime » 1.0.7

PSym runtime for the P programming language
Version1.0.7compared with

Version Details

1.0.6 1.0.7
Release dateJun 08, 2023Jun 24, 2023
LicensesMITMIT
VulnerabilitiesNoneNone

Compile Changes (12)

1.0.6 1.0.7
ChangeGroup / ArtifactPreviousCurrent
~ Updated com.google.guava » guava31.1-jre32.0.1-jre
~ Updated org.apache.logging.log4j » log4j-api[2.8.1,)2.20.0
~ Updated org.apache.logging.log4j » log4j-core[2.8.1,)2.20.0
~ Updated org.apache.logging.log4j » log4j-slf4j-impl[2.6.2,)2.20.0
~ Updated org.jetbrains » annotations23.0.024.0.1
~ Updated org.jooq » joor-java-8[0.9.12,)0.9.14
~ Updated org.junit.jupiter » junit-jupiter-api[5.8.2,)5.9.2
- Removed io.github.p-org » abc1.0.2-
- Removed io.github.p-org.solvers » cvc50.0.7-v5-
- Removed io.github.p-org.solvers » monosat1.6.0-v5-
- Removed io.github.p-org.solvers » yices1.0-v5-
- Removed io.github.p-org.solvers » z34.8.14-v5-

Provided Changes (1)

1.0.6 1.0.7
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.projectlombok » lombok1.18.241.18.26

Test Changes (1)

1.0.6 1.0.7
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.junit.jupiter » junit-jupiter-engine5.9.15.9.2