Skip to content

Pull requests: KeYProject/key

New pull request New
57 Open 588 Closed
57 Open 588 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

Make package sealable 🛠 Maintenance Code quality and related things w/o functional changes
#3845 opened Jun 19, 2026 by wadoon Member • Draft
4 tasks
v3.0.0
@wadoon
Fixes for minor regressions on main 🐞 Bug
#3844 opened Jun 18, 2026 by unp1 Member • Queued v3.0.0
1
@unp1
1
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
Support co- and contravariant sorts
#3841 opened Jun 17, 2026 by Drodt Member Loading…
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
hermes init
#3817 opened May 18, 2026 by wadoon Member • Draft
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
38
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 • Draft
1 task
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
#3761 opened Mar 13, 2026 by Drodt Member • Draft
1 task
1
2
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
4
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
ProTip! Adding no:label will show everything without a label.