List view

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

Multi Sets

Status: Draft (not ready).

KeYProject/keynumber 3698

#3698 In KeYProject/key;

· lks9 opened on Dec 11, 2025

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

JavaJMLParser

Status: Open (in progress).

KeYProject/keynumber 3676

#3676 In KeYProject/key;

· mattulbrich opened on Oct 24, 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

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

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

Make WD semantics selectable during loading

Proof Loading/Saving

Status: Open.

Feature

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

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

JSON-RPC API tutorial

Status: Open.

Task

#3772 In KeYProject/key;

· wadoon opened on Mar 14, 2026

Basic Theory of Sets

Calculus

FeatureNew feature or requestNew feature or request

RFC"Request for comments" is the appeal for making and expressing your opinion on a topic."Request for comments" is the appeal for making and expressing your opinion on a topic.

Status: Draft (not ready).

KeYProject/keynumber 3777

#3777 In KeYProject/key;

· WolframPfeifer opened on Mar 18, 2026

Purge sort depending functions in favor of parametric functions

Breaking Change

Review RequestWaiting for reviewWaiting for review

Status: Open (in progress).

KeYProject/keynumber 3773

#3773 In KeYProject/key;

· Drodt opened on Mar 16, 2026

Options Panel in Load Dialog. Options in Recent Files

FeatureNew feature or requestNew feature or request

Status: Open (in progress).

KeYProject/keynumber 3788

#3788 In KeYProject/key;

· wadoon opened on Mar 23, 2026

MetaSpace for documentation and origin

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

Status: Open (in progress).

KeYProject/keynumber 3787

#3787 In KeYProject/key;

· wadoon opened on Mar 23, 2026

Update the InfoTree component

GUI

Status: Draft (not ready).

KeYProject/keynumber 3786

#3786 In KeYProject/key;

· wadoon opened on Mar 23, 2026

"Reload" loads the wrong file

🐞 Bug

Small Student Task

Status: Open.

Bug

#3711 In KeYProject/key;

· wadoon opened on Jan 12, 2026