Skip to content

Pull requests: KeYProject/key

New pull requestNew
44 Open 699 Closed
44 Open 699 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 reviewsReview requiredApproved reviewChanges requested
Assignee
Filter by who’s assigned
Assigned to nobodyLoading
Sort
Sort by
NewestOldestMost commentedLeast commentedRecently updatedLeast recently updatedBest match
Most reactions
👍👎😄🎉😕❤️🚀👀

Pull requests list

Small feature: go to node with given serial number Feature New feature or request GUI
#3963 opened Aug 13, 2026 by WolframPfeiferMemberLoading…
@WolframPfeifer
Formalize LocSet as Set of Locations
#3962 opened Aug 13, 2026 by DrodtMember • Draft
1 task
Quantifier and Heap Reasoning Improvements Feature New feature or request
#3961 opened Aug 12, 2026 by unp1MemberLoading…
@unp1
Definitional Skolem constants Prover Core
#3960 opened Aug 12, 2026 by unp1MemberLoading…
@unp1
Make the strategy cost structure explicit 🛠 Maintenance Code quality and related things w/o functional changes Strategy
#3904 opened Jul 10, 2026 by unp1MemberLoading… v3.1.0
@unp1
2
Interactive Proof Replayer Feature New feature or request
#3897 opened Jul 6, 2026 by wadoonMemberLoading…
5 of 10 tasks
 v3.1.0
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 unp1Member • Draft
@unp1
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 unp1Member • Draft
12 tasks done
 v3.1.0
@unp1
2
Generation of Java AST classes Java Pull requests that update Java code
#3809 opened Apr 19, 2026 by wadoonMember • Draft
2 tasks
 v3.1.0
@wadoon
Prepare for KeY 2.12.4
#3780 opened Mar 20, 2026 by unp1MemberLoading…
4 tasks
@unp1
2
Handle Switch in Taclets w/o Transformer Java Parser
#3761 opened Mar 13, 2026 by DrodtMember • Draft
1 task
 v3.1.0
1
@Drodt
3
Lambda support by transformation
#3759 opened Mar 11, 2026 by wadoonMember • Draft
4 tasks
 v3.1.0
@wadoon
Move strategies to NCore
#3743 opened Feb 12, 2026 by unp1Member • Draft
1 task
Optimize UI updates of slicing panel keyext.slicing Module: keyext.slicing 🚀 Performance
#3735 opened Feb 10, 2026 by FliegendeWurstMemberLoading…
1
@WolframPfeifer
6
Add the Universe Type Checker as a Dependency Feature New feature or request
#3725 opened Jan 26, 2026 by PiIsRationalContributor • Draft
3 tasks
@PiIsRational
Universe Type Rules
#3724 opened Jan 26, 2026 by PiIsRationalContributor • Draft
2 of 5 tasks
 v3.1.0
@PiIsRational
2
JavaRedux: Integer methods + List::remove + NoSuchElementException
#3719 opened Jan 19, 2026 by FliegendeWurstMemberLoading…
2
Fix handling of \values keyword
#3718 opened Jan 14, 2026 by FliegendeWurstMemberLoading…
1 task
1
5
Avoid cost computation for rules in rule sets like concrete, simplify_prog etc.
#3708 opened Jan 8, 2026 by unp1Member • 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 DrodtMember • Draft
2 tasks
@Drodt
Multi Sets
#3698 opened Dec 11, 2025 by lks9Contributor • Draft
6 tasks
 v3.1.0
@unp1
12
Rewriting the settings in KeY files to the new format.
#3688 opened Nov 22, 2025 by wadoonMember • Draft v3.1.0
@wadoon
LLM support in KeY UI
#3687 opened Nov 19, 2025 by wadoonMember • Draft
1 of 9 tasks
 v3.1.0
@wadoon
fixes #3670: KeY does not know that enum constants are non-null JavaJMLParser
#3676 opened Oct 24, 2025 by mattulbrichMemberLoading… v3.1.0
1
@wadoon@mattulbrich
13
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 WolframPfeiferMemberLoading… v3.1.0
1
@WolframPfeifer
1
ProTip! Adding no:label will show everything without a label.