Search results

Parsing problem in \datatypes with no 'self' selectors

Status: Open.

#3662 In KeYProject/key;

· Robert-Brune opened on Sep 19, 2025

true cannot be used in JML expressions

🐞 Bug

JML Parser

P:NORMAL

Status: Open.

Bug

#3660 In KeYProject/key;

· mattulbrich opened on Sep 17, 2025

Integration tests no longer work

🐞 Bug

CI

P:HIGH

Status: Open.

Bug

#3651 In KeYProject/key;

· Drodt opened on Aug 13, 2025

Parser Issue

Status: Open.

#3648 In KeYProject/key;

· BookWood7th opened on Aug 6, 2025

Unwanted system notification during proof script execution

GUI

Status: Open.

#3642 In KeYProject/key;

· wadoon opened on Jul 29, 2025

Nullness checker not working Windows

🐞 Bug

Status: Open.

Bug

#3635 In KeYProject/key;

· wadoon opened on Jul 15, 2025

· 

v2.12.4

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

· 

v2.12.4

Performance Report 2025

🚀 Performance

Status: Open.

Bug

#3631 In KeYProject/key;

· wadoon opened on Jul 9, 2025

RunAllProofs disrepects JAVA_HOME

🐞 Bug

Status: Open.

Bug

#3630 In KeYProject/key;

· wadoon opened on Jul 9, 2025

· 

v2.13.0

Not all KeY files in repo are parsable.

🐞 Bug

Status: Open.

Bug

#3602 In KeYProject/key;

· wadoon opened on May 10, 2025

· 

v2.12.4

JavaDL for Java21 and beyond

Calculus

Status: Open.

#3595 In KeYProject/key;

· wadoon opened on Apr 13, 2025

GUI too small on High DPI screens

🐞 Bug

GUI

Status: Open.

#3586 In KeYProject/key;

· FliegendeWurst opened on Mar 23, 2025