List view

Releasing KeY 3.0 and 2.13 release (Milestone v3.0.0)

Status: Open.

Task

#3768 In KeYProject/key;

· wadoon opened on Mar 14, 2026

Release Candidate: KeY 3.0

Status: Open.

Task

#3769 In KeYProject/key;

· wadoon opened on Mar 14, 2026

JSON-RPC API tutorial

Status: Open.

Task

#3772 In KeYProject/key;

· wadoon opened on Mar 14, 2026

Recent files entries broken

🐞 Bug

GUI

Status: Open.

Bug

#3898 In KeYProject/key;

· WolframPfeifer opened on Jul 7, 2026

Fix recent file menu; fix #3898

GUI

Status: Open (in progress).

KeYProject/keynumber 3909

#3909 In KeYProject/key;

· wadoon opened on Jul 10, 2026

Support for try-with-resources by reduction

JavaPull requests that update Java codePull requests that update Java code

Java Parser

Status: Open (in progress).

KeYProject/keynumber 3918

#3918 In KeYProject/key;

· wadoon opened on Jul 12, 2026

Support for multi-catch-clauses in try-statements

Java Parser

Status: Open (in progress).

KeYProject/keynumber 3919

#3919 In KeYProject/key;

· wadoon opened on Jul 12, 2026

soundiness first steps

GUI

Status: Draft (not ready).

KeYProject/keynumber 3887

#3887 In KeYProject/key;

· mattulbrich opened on Jul 3, 2026

Enforce profile when selected via file chooser

🐞 Bug

Status: Open (in progress).

KeYProject/keynumber 3921

#3921 In KeYProject/key;

· unp1 opened on Jul 13, 2026