All pull requests

Pull requests

• remove Main.getWorkingDir()

  GUI
  #3982·wadoon opened Aug 29, 2026Member·

  ·

  · v3.1.0
  

• Fix for slicing in case of dynamic taclet applications and renamings

  🐞 Bug
  #3981·unp1 opened Aug 23, 2026Member·

  ·

  · v3.1.0
  1

  

• Add support for generation of varcond documentation

  DocumentationJava
  #3977·wadoon opened Aug 20, 2026Member·

  ·

  · v3.1.0
  22

  

• Support for <expr> instanceof <Type> <var>

  CompletenessJava ParserJava
  #3976·wadoon opened Aug 19, 2026Member·

  ·

  · v3.1.0
  3

  

• JML Lemmas and proof scripts in model methods

  JML ParserProof Scripts
  #3971·mattulbrich opened Aug 17, 2026Member·

  ·

  · v3.1.0
  

• Migrate to JMLtk

  FeatureJava ParserJavaJavaJMLParser
  #3966·wadoon opened Aug 15, 2026Member·

  ·

  · v3.1.0
  19

  

• Add Case Study Verify This 2026/1

  #3964·mattulbrich opened Aug 15, 2026Member·

  ·
  

• Small feature: go to node with given serial number

  FeatureGUI
  #3963·WolframPfeifer opened Aug 13, 2026Member·

  ·

  · v3.1.0
  2

  

• Interactive Proof Replayer

  Feature
  #3897·wadoon opened Jul 6, 2026Member·

  ·

  · v3.1.0
  1

• RFC / KEP-1: Taclet-generating transformers (lemmas instead of metaconstructs, built-in rules, etc.)

  RFC
  #3893·unp1 opened Jul 5, 2026Member·

  ·
  2

  

• Term label cleanup: simpler framework, label-agnostic term equality

  🛠 MaintenanceRFC
  #3884·unp1 opened Jul 3, 2026Member·

  ·

  · v3.1.0
  2

  

• Generation of Java AST classes

  Java
  #3809·wadoon opened Apr 19, 2026Member·

  ·

  · v3.1.0
  

• Prepare for KeY 2.12.4

  #3780·unp1 opened Mar 20, 2026Member·

  ·
  2

  

• Handle Switch in Taclets w/o Transformer

  Java Parser
  #3761·Drodt opened Mar 13, 2026Member·

  ·

  · v3.1.0
  1

  3

  

• Lambda support by transformation

  #3759·wadoon opened Mar 11, 2026Member·

  ·

  · v3.1.0
  

• Move strategies to NCore

  #3743·unp1 opened Feb 12, 2026Member·

  ·

• Optimize UI updates of slicing panel

  keyext.slicing🚀 Performance
  #3735·FliegendeWurst opened Feb 10, 2026Member·

  ·
  1

  6

  

• Add the Universe Type Checker as a Dependency

  Feature
  #3725·PiIsRational opened Jan 26, 2026Contributor·

  ·
  

• Universe Type Rules

  #3724·PiIsRational opened Jan 26, 2026Contributor·

  ·

  · v3.1.0
  2

  

• Fix handling of \values keyword

  #3718·FliegendeWurst opened Jan 14, 2026Member·

  ·
  1

  4

• Avoid cost computation for rules in rule sets like concrete, simplify_prog etc.

  #3708·unp1 opened Jan 8, 2026Member·

  ·

• Expand OSS steps when saving a proof for more deterministic Proofs

  FeatureRFC
  #3707·Drodt opened Jan 8, 2026Member·

  ·
  

• Multi Sets

  #3698·lks9 opened Dec 11, 2025Contributor·

  ·

  · v3.1.0
  12

  

• Rewriting the settings in KeY files to the new format.

  #3688·wadoon opened Nov 22, 2025Member·

  ·

  · v3.1.0
  

• LLM support in KeY UI

  #3687·wadoon opened Nov 19, 2025Member·

  ·

  · v3.1.0