Skip to content

Pull requests: KeYProject/key

New pull request New
50 Open 538 Closed
50 Open 538 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Prereleases/ke y 3.0.0 jp rc
#3781 opened Mar 21, 2026 by wadoon • Draft
Prepare for KeY 2.12.4
#3780 opened Mar 20, 2026 by unp1 Loading…
4 tasks
Basic Theory of Sets Calculus Feature New feature or request RFC "Request for comments" is the appeal for making and expressing your opinion on a topic.
#3777 opened Mar 18, 2026 by WolframPfeifer • Draft v3.0.0
@WolframPfeifer
4
Use Dependency Contract: ignore all term labels 🐞 Bug
#3776 opened Mar 18, 2026 by FliegendeWurst Loading… v3.0.0
1
@FliegendeWurst
1
Purge sort depending functions in favor of parametric functions Breaking Change Review Request Waiting for review
#3773 opened Mar 16, 2026 by Drodt Loading…
1 of 2 tasks
@Drodt
2
Handle Switch in Taclets w/o Transformer
#3761 opened Mar 13, 2026 by Drodt • Draft
1 task
1
1
Lambda support by transformation
#3759 opened Mar 11, 2026 by wadoon • Draft
4 tasks
v3.1.0
@wadoon
Record support by transformation Java Parser
#3758 opened Mar 11, 2026 by wadoon • Draft
2 tasks
v3.1.0
@wadoon
Suppression of log for non-failing test classes Test cases
#3746 opened Feb 17, 2026 by wadoon Loading…
3 tasks done
v3.0.0
1
@wadoon
Profile-dependent option panel in loading dialog Proof Loading/Saving
#3744 opened Feb 12, 2026 by wadoon Loading…
2 tasks
v3.0.0
3
@wadoon
1
Move strategies to NCore
#3743 opened Feb 12, 2026 by unp1 • Draft
1 task
Optimize UI updates of slicing panel keyext.slicing Module: keyext.slicing 🚀 Performance
#3735 opened Feb 10, 2026 by FliegendeWurst Loading…
1
4
Add the Universe Type Checker as a Dependency Feature New feature or request
#3725 opened Jan 26, 2026 by PiIsRational • Draft
3 tasks
@PiIsRational
Universe Type Rules
#3724 opened Jan 26, 2026 by PiIsRational • Draft
5 tasks
v3.1.0
@PiIsRational
1
JavaRedux: Integer methods + List::remove + NoSuchElementException
#3719 opened Jan 19, 2026 by FliegendeWurst Loading…
2
Fix handling of \values keyword
#3718 opened Jan 14, 2026 by FliegendeWurst Loading…
1 task
1
4
Avoid cost computation for rules in rule sets like concrete, simplify_prog etc.
#3708 opened Jan 8, 2026 by unp1 • Draft
1 of 7 tasks
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 Loading…
2 tasks
@Drodt
Update and fix Broad Release Tests 🛠 Maintenance Code quality and related things w/o functional changes
#3703 opened Dec 30, 2025 by wadoon Loading…
2 tasks
v3.0.0
@wadoon
5
Multi Sets
#3698 opened Dec 11, 2025 by lks9 • Draft
6 tasks
v3.0.0
@unp1
7
Rewriting the settings in KeY files to the new format.
#3688 opened Nov 22, 2025 by wadoon • Draft v3.1.0
@wadoon
LLM support in KeY UI
#3687 opened Nov 19, 2025 by wadoon • Draft
1 of 9 tasks
v3.1.0
@wadoon
Add support for Annotation Processors in the Javac Extension Feature New feature or request GUI Java Pull requests that update Java code
#3686 opened Nov 18, 2025 by PiIsRational Loading… v3.0.0
@PiIsRational
11
fixes #3670: KeY does not know that enum constants are non-null
#3676 opened Oct 24, 2025 by mattulbrich Loading… v3.0.0
1
@mattulbrich
11
Make user-defined sorts accessible in "\dl_" escapes JML Parser 🐞 Bug RFC "Request for comments" is the appeal for making and expressing your opinion on a topic.
#3659 opened Sep 12, 2025 by WolframPfeifer Loading…
1
@WolframPfeifer
1
ProTip! Exclude everything labeled bug with -label:bug.