Home » org.key-project » key.core.example » 3.0.0 » Changes

Key Core Example » 3.0.0

Example project to use KeY's APIs
Version3.0.0compared with

Version Details

2.12.3 3.0.0
Release dateNov 07, 2024Jul 24, 2026
LicensesGPL 2.0GPL 2.0
VulnerabilitiesNoneNone

Runtime Changes (3)

2.12.3 3.0.0
ChangeGroup / ArtifactPreviousCurrent
+ Added ch.qos.logback » logback-classic-1.5.37
~ Updated org.key-project » key.core2.12.33.0.0
~ Updated org.slf4j » slf4j-api2.0.162.0.18