Pull requests: KeYProject/key
Pull requests list
Suppression of log for non-failing test classes
Test cases
#3746
opened Feb 17, 2026 by
wadoon
Loading…
3 tasks done
Profile-dependent option panel in loading dialog
Proof Loading/Saving
#3744
opened Feb 12, 2026 by
wadoon
Loading…
2 tasks
Taclet definition added to problemHeader
🐞 Bug
Proof Loading/Saving
#3733
opened Feb 7, 2026 by
wadoon
Loading…
1 task done
Add the Universe Type Checker as a Dependency
Feature
New feature or request
#3725
opened Jan 26, 2026 by
PiIsRational
•
Draft
3 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
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
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…
Fix for #3683: Hiding package prefixes in sequent view
GUI
🐞 Bug
Review Request
Waiting for review
#3684
opened Nov 12, 2025 by
WolframPfeifer
Loading…
4 tasks done
fixes #3670: KeY does not know that enum constants are non-null
#3676
opened Oct 24, 2025 by
mattulbrich
Loading…
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…
Proof Scripts in JML
JavaJMLParser
JML (Semantics)
P:HIGH
Proof Scripts
Review Request
Waiting for review
#3657
opened Sep 8, 2025 by
mattulbrich
Loading…
6 of 7 tasks
Add Polymorphic Sorts and Functions
Feature
New feature or request
KeY Parser
Review Request
Waiting for review
#3652
opened Aug 13, 2025 by
Drodt
Loading…
2 tasks done
ProTip!
Mix and match filters to narrow down what you’re looking for.