List view

Not all KeY files in repo are parsable.

🐞 Bug

Status: Open.

Bug

#3602 In KeYProject/key;

· wadoon opened on May 10, 2025

Nullness checker not working Windows

🐞 Bug

Status: Open.

Bug

#3635 In KeYProject/key;

· wadoon opened on Jul 15, 2025

Rewriter of old to new settings format.

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

Status: Draft (not ready).

KeYProject/keynumber 3590

#3590 In KeYProject/key;

· wadoon opened on Apr 6, 2025

Aftermath: Renovation of Test generation

Test Case Generator

Status: Open.

Bug

#3665 In KeYProject/key;

· wadoon opened on Sep 25, 2025

Draft: Add definition taclets for binaryAnd, binaryOr, and binaryXOr

Calculus

Status: Draft (not ready).

KeYProject/keynumber 3174

#3174 In KeYProject/key;

· ChristianHein opened on Jun 19, 2023

Alternative for: "If possible save the last selected node in the proof, to reselect it upon loading."

Status: Draft (not ready).

KeYProject/keynumber 3380

#3380 In KeYProject/key;

· wadoon opened on Dec 28, 2023

RunAllProofs disrepects JAVA_HOME

🐞 Bug

Status: Open.

Bug

#3630 In KeYProject/key;

· wadoon opened on Jul 9, 2025

Rewriting the settings in KeY files to the new format.

Status: Draft (not ready).

KeYProject/keynumber 3688

#3688 In KeYProject/key;

· wadoon opened on Nov 22, 2025

Universe Type Rules

Status: Draft (not ready).

KeYProject/keynumber 3724

#3724 In KeYProject/key;

· PiIsRational opened on Jan 26, 2026

Java 25 Features for KeY

JavaJMLParser

JML (Semantics)

JML Parser

Status: Open.

Feature

#3774 In KeYProject/key;

· wadoon opened on Mar 17, 2026

Migrate from ST4 to Apache Freemarker in keyext.proofmanagement

keyext.proofmanagementModule: keyext.proofmanagementModule: keyext.proofmanagement

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

Status: Open (in progress).

KeYProject/keynumber 3621

#3621 In KeYProject/key;

· wadoon opened on Jun 16, 2025

module-info.java, 2nd attempt

Breaks API

Status: Open (in progress).

KeYProject/keynumber 3623

#3623 In KeYProject/key;

· wadoon opened on Jun 19, 2025

Proof reordering (WIP)

FeatureNew feature or requestNew feature or request

GUI

Status: Draft (not ready).

KeYProject/keynumber 3141

#3141 In KeYProject/key;

· FliegendeWurst opened on May 15, 2023

Nullness Type System for key.core

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

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

Status: Draft (not ready).

KeYProject/keynumber 3470

#3470 In KeYProject/key;

· wadoon opened on May 3, 2024

Cleanup: Removal of the write and read settings using Properties

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

Status: Draft (not ready).

KeYProject/keynumber 3549

#3549 In KeYProject/key;

· wadoon opened on Feb 15, 2025

Cleanup: Making the build script fit for the future.

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

Status: Draft (not ready).

KeYProject/keynumber 3552

#3552 In KeYProject/key;

· wadoon opened on Feb 15, 2025

LLM support in KeY UI

Status: Draft (not ready).

KeYProject/keynumber 3687

#3687 In KeYProject/key;

· wadoon opened on Nov 19, 2025

Soundness: Invariants, model methods and model fields need not be well-founded

🐞 Bug

P:HIGH

✋ Soundness

Status: Open.

#3155 In KeYProject/key;

· mattulbrich opened on Jun 5, 2023

Update to LocationVariable is ignored after pruning

🐞 Bug

Calculus

Status: Open.

#3206 In KeYProject/key;

· gewitternacht opened on Jul 17, 2023

Font scaling issues

🐞 Bug

GUI

Status: Open.

#3240 In KeYProject/key;

· FliegendeWurst opened on Aug 4, 2023

JML ghost declarations should behave like set statements

JavaJMLParser

JML Parser

Status: Open.

Task

#3466 In KeYProject/key;

· wadoon opened on Apr 29, 2024

Renovations for SMT solvers

External SolversAdditional Solvers such as (SMT, Isabelle, ...Additional Solvers such as (SMT, Isabelle, ...

SMT

Status: Open.

Task

#3575 In KeYProject/key;

· wadoon opened on Feb 28, 2025

JML should receive an Abstract Syntax Tree

JavaJMLParser

JML (Semantics)

JML Parser

Status: Open.

Feature

#3716 In KeYProject/key;

· wadoon opened on Jan 14, 2026

Lambda support by transformation

Status: Draft (not ready).

KeYProject/keynumber 3759

#3759 In KeYProject/key;

· wadoon opened on Mar 11, 2026

weigl/jmlparser

JavaJMLParser

JML Parser

Status: Draft (not ready).

KeYProject/keynumber 3791

#3791 In KeYProject/key;

· wadoon opened on Mar 25, 2026