Skip to content

Pull requests: KeYProject/key

New pull request New
51 Open 630 Closed
51 Open 630 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

soundiness first steps
#3887 opened Jul 3, 2026 by mattulbrich Member • Draft
3 tasks
v3.0.0
@mattulbrich
Fix for DepthFirstGoalChooser: Keep enabled sibling goals on a split 🐞 Bug
#3886 opened Jul 3, 2026 by unp1 Member Loading… v3.0.0
@unp1
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
v3.1.0
@unp1
Bump the gradle-deps group with 6 updates dependencies Pull requests that update a dependency file Java Pull requests that update Java code
#3883 opened Jul 1, 2026 by dependabot Bot Loading…
Performance Series 2: Overview 🚀 Performance
#3879 opened Jun 30, 2026 by unp1 Member • Draft
@unp1
Performance Series 2 (5/5): Faster quantifier-instantiation heuristic, plus code cleanup 🚀 Performance
#3878 opened Jun 30, 2026 by unp1 Member Loading…
2 tasks done
@unp1
Performance Series 2 (4/5): Lower memory for the per-goal rule-application queue 🚀 Performance
#3877 opened Jun 30, 2026 by unp1 Member Loading…
3 tasks done
@unp1
2
Performance Series 2 (3/5): Incremental taclet re-indexing for a single added taclet 🚀 Performance
#3876 opened Jun 30, 2026 by unp1 Member Loading…
2 tasks done
@unp1
1
Performance Series 2 (2/5): Faster term equality modulo renaming via a hash pre-filter 🚀 Performance
#3875 opened Jun 30, 2026 by unp1 Member Loading…
2 tasks done
@unp1
1
Performance Series 2 (1/5): Faster cost computation by skipping an unnecessary proof-history walk 🚀 Performance
#3874 opened Jun 30, 2026 by unp1 Member Loading…
2 tasks done
@unp1
3
Implement \real literals (#3570); fix LogicPrinter.quickPrintSemisequent (#243) 🐞 Bug
#3865 opened Jun 27, 2026 by unp1 Member Loading… v3.1.0
1
@unp1
3
Fix pruning of cached branches
#3858 opened Jun 22, 2026 by FliegendeWurst Member Loading…
1
Multithreading for KeY and now it's deterministic too 🚀 Performance
#3842 opened Jun 18, 2026 by unp1 Member Loading…
7 of 8 tasks
1
@unp1
9
key-tau w/o ballast
#3823 opened Jun 11, 2026 by wadoon Member • Draft
4 tasks
Generation of Java AST classes Java Pull requests that update Java code
#3809 opened Apr 19, 2026 by wadoon Member • Draft
2 tasks
v3.1.0
@wadoon
Clean up the Java AST: Avoid sub-classes in favor of Enum Java Pull requests that update Java code
#3803 opened Apr 12, 2026 by wadoon Member • Draft
3 tasks
v3.1.0
@wadoon
Prepare for KeY 2.12.4
#3780 opened Mar 20, 2026 by unp1 Member Loading…
4 tasks
@unp1
2
Handle Switch in Taclets w/o Transformer Java Parser
#3761 opened Mar 13, 2026 by Drodt Member • Draft
1 task
v3.1.0
1
@Drodt
Lambda support by transformation
#3759 opened Mar 11, 2026 by wadoon Member • Draft
4 tasks
v3.1.0
@wadoon
Move strategies to NCore
#3743 opened Feb 12, 2026 by unp1 Member • Draft
1 task
Optimize UI updates of slicing panel keyext.slicing Module: keyext.slicing 🚀 Performance
#3735 opened Feb 10, 2026 by FliegendeWurst Member Loading…
1
@WolframPfeifer
3
Add the Universe Type Checker as a Dependency Feature New feature or request
#3725 opened Jan 26, 2026 by PiIsRational Contributor • Draft
3 tasks
@PiIsRational
Universe Type Rules
#3724 opened Jan 26, 2026 by PiIsRational Contributor • Draft
1 of 5 tasks
v3.1.0
@PiIsRational
2
JavaRedux: Integer methods + List::remove + NoSuchElementException
#3719 opened Jan 19, 2026 by FliegendeWurst Member Loading…
3
Fix handling of \values keyword
#3718 opened Jan 14, 2026 by FliegendeWurst Member Loading…
1 task
1
5
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.