Issues

• Soundness of model method contracts

  KeYProject/key#3985 · Filter by author BookWood7th opened on Sep 9, 2026
  1

• Parametric Type Declarations in ghost fields

  JML Parser
  Feature

  KeYProject/key#3955 · Filter by author Robert-Brune opened on Aug 2, 2026

• Additional contract generated from the FM tutorial example

  JML Parser🐞 Bug
  Bug

  KeYProject/key#3937 · Filter by author WolframPfeifer opened on Jul 22, 2026 · v3.1.0
  6

• Difference in verification depending where the static method is place.

  Completeness
  Bug

  KeYProject/key#3917 · Filter by author wadoon opened on Jul 11, 2026 · v3.1.0
  5

• Double constants cannot be parsed in the new parser framework

  Java Parser
  Bug

  KeYProject/key#3885 · Filter by author mattulbrich opened on Jul 3, 2026
  

• String literals in JML specification are not created

  Completeness🐞 Bug
  Bug

  KeYProject/key#3864 · Filter by author Drodt opened on Jun 26, 2026

• That example leads to an UnsupportedOperationException in JavaParser.

  Java Parser🐞 Bug
  Bug

  KeYProject/key#3827 · Filter by author wadoon opened on Jun 13, 2026
  1

• JML translation are not correctly handled by Final Fields support

  JavaJMLParserP:HIGH
  Bug

  KeYProject/key#3799 · Filter by author wadoon opened on Apr 6, 2026
  2

  

• Proof management tool resets KeY settings

  keyext.proofmanagement
  Bug

  KeYProject/key#3792 · Filter by author FliegendeWurst opened on Mar 25, 2026
  

• Java 25 Features for KeY

  JavaJMLParserJML ParserJML (Semantics)
  Feature

  KeYProject/key#3774 · Filter by author wadoon opened on Mar 17, 2026 · v3.1.0

• JSON-RPC API tutorial

  Task

  KeYProject/key#3772 · Filter by author wadoon opened on Mar 14, 2026 · v3.0.0
  

• Releasing KeY 3.0 and 2.13 release (Milestone v3.0.0)

  🛠 Maintenance
  Task

  KeYProject/key#3768 · Filter by author wadoon opened on Mar 14, 2026 · v3.0.0
  3

  

• Handling of class modifier is restricted

  Java ParserJavaJMLParser
  Bug

  KeYProject/key#3767 · Filter by author wadoon opened on Mar 14, 2026

• Implement Switch-to-If Without Transformation

  CalculusFeature
  Feature

  KeYProject/key#3765 · Filter by author wadoon opened on Mar 14, 2026 · v3.1.0
  1

  

• Refactor the Loading Process of KeY

  Java ParserJavaJMLParserKeY Parser
  Feature

  KeYProject/key#3763 · Filter by author wadoon opened on Mar 14, 2026
  

• Revise Settings/Profile Interaction

  Task

  KeYProject/key#3764 · Filter by author wadoon opened on Mar 14, 2026

• Backlog of Recoder Removal

  Task

  KeYProject/key#3762 · Filter by author wadoon opened on Mar 13, 2026

• Proof files without proofs in automode

  Command Line Interface🐞 Bug
  Bug

  KeYProject/key#3753 · Filter by author mattulbrich opened on Mar 2, 2026
  1

  

• Proof for user-defined taclet not reloadable

  Proof Loading/Saving
  Bug

  KeYProject/key#3750 · Filter by author FliegendeWurst opened on Feb 27, 2026

• Inspection the stability of WD after refactoring

  Task

  KeYProject/key#3741 · Filter by author wadoon opened on Feb 11, 2026
  

• Proof Slicing is automatical active during loading proofs and macros

  🚀 Performance
  Bug

  KeYProject/key#3734 · Filter by author wadoon opened on Feb 10, 2026
  3

  

• Enhanced-for loop example with \values not loadable

  🐞 Bug
  Bug

  KeYProject/key#3717 · Filter by author FliegendeWurst opened on Jan 14, 2026
  2

• JML should receive an Abstract Syntax Tree

  JavaJMLParserJML ParserJML (Semantics)
  Feature

  KeYProject/key#3716 · Filter by author wadoon opened on Jan 14, 2026 · v3.1.0
  

• Trim file names

  🐞 BugSmall Student Task
  Bug

  KeYProject/key#3709 · Filter by author wadoon opened on Jan 9, 2026

• Cannot parse constructor that accepts varargs

  Java ParserSmall Student Task
  Bug

  KeYProject/key#3699 · Filter by author FliegendeWurst opened on Dec 12, 2025
  2