FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

Pull requests · KeYProject/key · GitHub

Labels 59 Milestones 1

New pull request New

43 Open 716 Closed

Add support for generation of varcond documentation Documentation Improvements or additions to documentation Java Pull requests that update Java code

#3977 opened Aug 20, 2026 by wadoon Member Loading… v3.1.0

Support for <expr> instanceof <Type> <var> Completeness Java Parser Java Pull requests that update Java code

#3976 opened Aug 19, 2026 by wadoon Member • Draft

3 of 8 tasks

3

Migrate to JMLtk Feature New feature or request Java Parser Java Pull requests that update Java code JavaJMLParser

#3966 opened Aug 15, 2026 by wadoon Member Loading… v3.1.0

Small feature: go to node with given serial number Feature New feature or request GUI

#3963 opened Aug 13, 2026 by WolframPfeifer Member Loading…

2

Quantifier and Heap Reasoning Improvements Feature New feature or request Prover Core Strategy

#3961 opened Aug 12, 2026 by unp1 Member Loading…

Interactive Proof Replayer Feature New feature or request

#3897 opened Jul 6, 2026 by wadoon Member • Draft

5 of 10 tasks

1

RFC / KEP-1: Taclet-generating transformers (lemmas instead of metaconstructs, built-in rules, etc.) RFC "Request for comments" is the appeal for making and expressing your opinion on a topic.

#3893 opened Jul 5, 2026 by unp1 Member • Draft

2

Term label cleanup: simpler framework, label-agnostic term equality 🛠 Maintenance Code quality and related things w/o functional changes RFC "Request for comments" is the appeal for making and expressing your opinion on a topic.

#3884 opened Jul 3, 2026 by unp1 Member • Draft

12 tasks done

2

Generation of Java AST classes Java Pull requests that update Java code

#3809 opened Apr 19, 2026 by wadoon Member • Draft

2 tasks

Prepare for KeY 2.12.4

#3780 opened Mar 20, 2026 by unp1 Member Loading…

4 tasks

2

Lambda support by transformation

#3759 opened Mar 11, 2026 by wadoon Member • Draft

4 tasks

Optimize UI updates of slicing panel keyext.slicing Module: keyext.slicing 🚀 Performance

#3735 opened Feb 10, 2026 by FliegendeWurst Member Loading…

6

Add the Universe Type Checker as a Dependency Feature New feature or request

#3725 opened Jan 26, 2026 by PiIsRational Contributor • Draft

3 tasks

Universe Type Rules

#3724 opened Jan 26, 2026 by PiIsRational Contributor • Draft

2 of 5 tasks

2

Fix handling of \values keyword

#3718 opened Jan 14, 2026 by FliegendeWurst Member Loading…

1 task

5

Expand OSS steps when saving a proof for more deterministic Proofs Feature New feature or request RFC "Request for comments" is the appeal for making and expressing your opinion on a topic.

#3707 opened Jan 8, 2026 by Drodt Member • Draft

2 tasks

Multi Sets

#3698 opened Dec 11, 2025 by lks9 Contributor • Draft

6 tasks

LLM support in KeY UI

#3687 opened Nov 19, 2025 by wadoon Member • Draft

1 of 9 tasks

ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.

Back | FazBrowse Home | New Git URL