Skip to content

Pull requests: KeYProject/key

New pull request New
52 Open 600 Closed
52 Open 600 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

Fix "Rule of same name exists already" error after pruning (rare but occuring cases after mass pruning with try-closeable-goals) 🐞 Bug
#3850 opened Jun 19, 2026 by unp1 Member Loading… v3.0.0
@unp1
Make package sealable 🛠 Maintenance Code quality and related things w/o functional changes
#3845 opened Jun 19, 2026 by wadoon Member Loading… v3.0.0
@wadoon
Multithreading for KeY: combined preview with the performance series 🚀 Performance
#3843 opened Jun 18, 2026 by unp1 Member • Draft
@unp1
Multithreading for KeY 🚀 Performance
#3842 opened Jun 18, 2026 by unp1 Member Loading…
7 of 8 tasks
@unp1
3
Performance (overview): round-3 combined — 1.82× faster automode (all five PRs) 🚀 Performance
#3839 opened Jun 17, 2026 by unp1 Member • Draft
@unp1
Performance (5/5): operator-indexed parking of assumes-incomplete rule-app bases 🚀 Performance
#3838 opened Jun 17, 2026 by unp1 Member Loading…
@unp1
Performance (4/5): reuse rule-app cost across re-expansion (+ age as a cost term) 🚀 Performance
#3837 opened Jun 17, 2026 by unp1 Member Loading…
@unp1
Performance (3/5): skip the checkPrefix prefix-walk when no transformer is present 🚀 Performance
#3836 opened Jun 17, 2026 by unp1 Member Loading…
@unp1
Performance (2/5): cut proof-search allocations + release the parser DFA cache 🚀 Performance
#3835 opened Jun 17, 2026 by unp1 Member Loading…
@unp1
Performance (1/5): Matching can now partially evaluate taclets 🚀 Performance
#3831 opened Jun 15, 2026 by unp1 Member Loading…
5 tasks
v3.1.0
@unp1
key-tau w/o ballast
#3823 opened Jun 11, 2026 by wadoon Member • Draft
4 tasks
Better ImmutableList Java Pull requests that update Java code
#3816 opened May 16, 2026 by wadoon Member Loading…
1 of 3 tasks
v3.1.0
@wadoon
44
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
MetaSpace for documentation and origin 🛠 Maintenance Code quality and related things w/o functional changes
#3787 opened Mar 23, 2026 by wadoon Member Loading… v3.0.0
@wadoon
3
Update the InfoTree component GUI
#3786 opened Mar 23, 2026 by wadoon Member Loading…
1 task done
v3.0.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.