List view

The Removal of Recoder

FeatureNew feature or requestNew feature or request

Java Parser

Status: Open (in progress).

KeYProject/keynumber 3120

#3120 In KeYProject/key;

· wadoon opened on Apr 16, 2023

Proof Scripts in JML

JavaJMLParser

JML (Semantics)

P:HIGH

Proof Scripts

Review RequestWaiting for reviewWaiting for review

Status: Open (in progress).

KeYProject/keynumber 3657

#3657 In KeYProject/key;

· mattulbrich opened on Sep 8, 2025

Update and fix Broad Release Tests

🛠 MaintenanceCode quality and related things w/o functional changesCode quality and related things w/o functional changes

Status: Open (in progress).

KeYProject/keynumber 3703

#3703 In KeYProject/key;

· wadoon opened on Dec 30, 2025

Multi Sets

Status: Draft (not ready).

KeYProject/keynumber 3698

#3698 In KeYProject/key;

· lks9 opened on Dec 11, 2025

Fix for #3683: Hiding package prefixes in sequent view

🐞 Bug

GUI

Review RequestWaiting for reviewWaiting for review

Status: Open (in progress).

KeYProject/keynumber 3684

#3684 In KeYProject/key;

· WolframPfeifer opened on Nov 12, 2025

fixes #3670: KeY does not know that enum constants are non-null

Status: Open (in progress).

KeYProject/keynumber 3676

#3676 In KeYProject/key;

· mattulbrich opened on Oct 24, 2025

Modular Features

Prover Core

Strategy

🛠 MaintenanceCode quality and related things w/o functional changesCode quality and related things w/o functional changes

Status: Open (in progress).

KeYProject/keynumber 3650

#3650 In KeYProject/key;

· Drodt opened on Aug 13, 2025

Improve the SMT translation by translating axiom taclets (mostly for invariants)

FeatureNew feature or requestNew feature or request

HacKeYthonCandidate Issue for HacKeYthon '25Candidate Issue for HacKeYthon '25

SMT

Status: Draft (not ready).

KeYProject/keynumber 3564

#3564 In KeYProject/key;

· WolframPfeifer opened on Feb 20, 2025

Fix slicing bug related to Evaluate Query

keyext.slicingModule: keyext.slicingModule: keyext.slicing

Status: Open (in progress).

KeYProject/keynumber 3393

#3393 In KeYProject/key;

· FliegendeWurst opened on Jan 31, 2024

Create a JSON-RPC for KeY

keyext.api

Status: Draft (not ready).

KeYProject/keynumber 3303

#3303 In KeYProject/key;

· wadoon opened on Oct 17, 2023

Solving the FP completeness issues in #1723

Calculus

Completeness

Status: Draft (not ready).

KeYProject/keynumber 3023

#3023 In KeYProject/key;

· mattulbrich opened on Feb 5, 2023

Macro auto-infflow breaks UI Proof Tree

GUI

Information Flow Engine

Status: Open.

Bug

#3713 In KeYProject/key;

· wadoon opened on Jan 13, 2026

Information Flow proofs are not re-loadable

GUI

Information Flow Engine

Status: Open.

Bug

#3714 In KeYProject/key;

· wadoon opened on Jan 13, 2026

Recoder must be removed

🐞 Bug

🚀 Performance

Breaks API

FeatureNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

JavaPull requests that update Java codePull requests that update Java code

Java Parser

JavaJMLParser

JML (Semantics)

JML Parser

Status: Open.

Task

#3715 In KeYProject/key;

· wadoon opened on Jan 13, 2026

Add support for Annotation Processors in the Javac Extension

FeatureNew feature or requestNew feature or request

GUI

JavaPull requests that update Java codePull requests that update Java code

Status: Open (in progress).

KeYProject/keynumber 3686

#3686 In KeYProject/key;

· PiIsRational opened on Nov 18, 2025

Taclet definition added to problemHeader

🐞 Bug

Proof Loading/Saving

Status: Open (in progress).

KeYProject/keynumber 3733

#3733 In KeYProject/key;

· wadoon opened on Feb 7, 2026

Make WD semantics selectable during loading

Proof Loading/Saving

Status: Open.

Feature

#3739 In KeYProject/key;

· wadoon opened on Feb 11, 2026

Move WD Taclet options out of key.core.

🐞 Bug

Status: Open.

Task

#3740 In KeYProject/key;

· wadoon opened on Feb 11, 2026

Who wins: Selected Profile vs. the Profile given by KeY files.

Proof Loading/Saving

Status: Open.

Task

#3742 In KeYProject/key;

· wadoon opened on Feb 11, 2026

Profile-dependent option panel in loading dialog

Proof Loading/Saving

Status: Open (in progress).

KeYProject/keynumber 3744

#3744 In KeYProject/key;

· wadoon opened on Feb 12, 2026

Suppression of log for non-failing test classes

Test cases

Status: Open (in progress).

KeYProject/keynumber 3746

#3746 In KeYProject/key;

· wadoon opened on Feb 17, 2026

Tracking: Prepare and finalize KeY 3.0 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

Migration Guide for KeY 3.0

DocumentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

Task

#3770 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