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

Macro auto-infflow breaks UI Proof Tree

GUI

Information Flow Engine

Status: Open.

Bug

#3713 In KeYProject/key;

· wadoon opened on Jan 13, 2026

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

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: Open (in progress).

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

Make package sealable

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

Status: Open (in progress).

KeYProject/keynumber 3845

#3845 In KeYProject/key;

· wadoon opened on Jun 19, 2026

Fix Interaction of Proof Caching and Pruning

🐞 Bug

keyext.cachingModule: keyext.cachingModule: keyext.caching

Status: Open.

Bug

#3846 In KeYProject/key;

· WolframPfeifer opened on Jun 19, 2026

Fix "Rule of same name exists already" error after pruning (rare but occuring cases after mass pruning with try-closeable-goals)

🐞 Bug

Status: Open (in progress).

KeYProject/keynumber 3850

#3850 In KeYProject/key;

· unp1 opened on Jun 19, 2026

automode to choose from a dropdown list

FeatureNew feature or requestNew feature or request

GUI

P:LOW

Review RequestWaiting for reviewWaiting for review

Status: Open (in progress).

KeYProject/keynumber 3857

#3857 In KeYProject/key;

· mattulbrich opened on Jun 22, 2026