Prepare for KeY 2.12.4 - #3780

Open

unp1 wants to merge 13 commits into

mainfrom

releases/KeY-2.12.4-Release-Candidate

Commits on Mar 28, 2026

Prepare for KeY 2.12.4
unp1
committed
8a3d179
Fix tag
unp1
committed
b2e1da5
Add missing inSameUpdateLevel to represents-taclets
unp1
committed
c1fd38f
Make switchToIf stateless
unp1
committed
1693170
Fix double declaration of method String#length in javaRedux: String.java
unp1
committed
e04091b
use updated nightdeploy script from JP 3.0.0 pre release branch
unp1
committed
0198756

Commits on Jun 22, 2026

Fix Path bug (#3810)

wadoon
authored and
unp1
committed
b63a3c5
Fix naming and renaming issues (#3804)
unp1
committed
18f0664
Fix bug in ProofManagementDialog (#3812)
unp1
committed
a4d1646
Improve behavior in case of not found methods (#3806)
unp1
committed
9bd9d8f
Fix for #3834
unp1
committed
448e66e
Accept any Number in numeric settings deserialization
unp1
committed
6145073

Commits on Jul 17, 2026

Update README.md
unp1
authored
46d923c