List view

KeY/JSON config for SMT solvers

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

Status: Open (in progress).

KeYProject/keynumber 3597

#3597 In KeYProject/key;

· wadoon opened on Apr 14, 2025

Not all KeY files in repo are parsable.

🐞 Bug

Status: Open.

Bug

#3602 In KeYProject/key;

· wadoon opened on May 10, 2025

Migrating to central portal from OSSRH, due to OSSRH shutdown in summer'25

Deployment

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

Status: Open (in progress).

KeYProject/keynumber 3604

#3604 In KeYProject/key;

· wadoon opened on May 11, 2025

Less verbosity in test execution

InfrastructureChanges to the Github configurations, repository or other non-source stuffChanges to the Github configurations, repository or other non-source stuff

Test cases

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

Status: Open.

Task

#3632 In KeYProject/key;

· wadoon opened on Jul 9, 2025

Nullness checker not working Windows

🐞 Bug

Status: Open.

Bug

#3635 In KeYProject/key;

· wadoon opened on Jul 15, 2025

Tipping the foot into InfFlow refactoring

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

Status: Draft (not ready).

KeYProject/keynumber 3640

#3640 In KeYProject/key;

· wadoon opened on Jul 26, 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

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

Aftermath: Renovation of Test generation

Test Case Generator

Status: Open.

Bug

#3665 In KeYProject/key;

· wadoon opened on Sep 25, 2025

Make user-defined sorts accessible in "\dl_" escapes

🐞 Bug

JML Parser

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

KeYProject/keynumber 3659

#3659 In KeYProject/key;

· WolframPfeifer opened on Sep 12, 2025

Draft: Add definition taclets for <code>binaryAnd</code>, <code>binaryOr</code>, and <code>binaryXOr</code>

Calculus

Status: Draft (not ready).

KeYProject/keynumber 3174

#3174 In KeYProject/key;

· ChristianHein opened on Jun 19, 2023

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

Modular Features

Prover Core

Strategy

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

Status: Draft (not ready).

KeYProject/keynumber 3650

#3650 In KeYProject/key;

· Drodt opened on Aug 13, 2025

Add Polymorphic Sorts and Functions

FeatureNew feature or requestNew feature or request

KeY Parser

Review RequestWaiting for reviewWaiting for review

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

KeYProject/keynumber 3652

#3652 In KeYProject/key;

· Drodt opened on Aug 13, 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

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

Unsound Proof Replay

🐞 Bug

✋ Soundness

Status: Open.

Bug

#3701 In KeYProject/key;

· Drodt opened on Dec 18, 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