Skip to content

Pull requests: KeYProject/key

New pull request New
44 Open 451 Closed
44 Open 451 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

module-info.java, 2nd attempt Breaks API
#3623 opened Jun 19, 2025 by wadoon Loading… v2.12.4
@wadoon
Test if matrix over modules are a good thing github_actions Pull requests that update GitHub Actions code
#3622 opened Jun 18, 2025 by wadoon Loading…
@wadoon
2
Migrate from ST4 to Apache Freemarker in keyext.proofmanagement keyext.proofmanagement Module: keyext.proofmanagement 🛠 Maintenance Code quality and related things w/o functional changes
#3621 opened Jun 16, 2025 by wadoon Loading… v2.12.4
@wadoon
Preparation for generalizing rule indexing
#3620 opened Jun 13, 2025 by unp1 • Draft
1 task
SMT Refactoring
#3611 opened May 26, 2025 by BookWood7th • Draft
1 of 10 tasks
3
Fix SMT ApplyAction not pruning when undoing 🐞 Bug SMT
#3606 opened May 16, 2025 by BookWood7th Loading… v2.12.4
1
@BookWood7th
9
Migrating to central portal from OSSRH, due to OSSRH shutdown in summer'25 Deployment 🛠 Maintenance Code quality and related things w/o functional changes
#3604 opened May 11, 2025 by wadoon • Draft v2.12.4
@wadoon
KeY/JSON config for SMT solvers 🛠 Maintenance Code quality and related things w/o functional changes
#3597 opened Apr 14, 2025 by wadoon Loading… v2.12.4
@wadoon
4
Rewriter of old to new settings format. 🛠 Maintenance Code quality and related things w/o functional changes
#3590 opened Apr 6, 2025 by wadoon • Draft
1 task
@wadoon
1
AST for KeY Scripts Proof Scripts
#3587 opened Mar 29, 2025 by wadoon • Draft
1 of 3 tasks
v2.12.4
@wadoon
JmlLexer w/o expr mode Breaking Change JML Parser
#3572 opened Feb 27, 2025 by wadoon • Draft
@wadoon
8
Introducing some structure for model method bodies Feature New feature or request JML Parser Review Request Waiting for review RFC "Request for comments" is the appeal for making and expressing your opinion on a topic.
#3571 opened Feb 23, 2025 by mattulbrich Loading…
3 of 4 tasks
@mattulbrich
20
Add a stricter dependency contract proof obligation Feature New feature or request HacKeYthon Candidate Issue for HacKeYthon '25 Java Pull requests that update Java code RFC "Request for comments" is the appeal for making and expressing your opinion on a topic.
#3565 opened Feb 20, 2025 by frereit • Draft
10 tasks
4
Improve the SMT translation by translating axiom taclets (mostly for invariants) Feature New feature or request HacKeYthon Candidate Issue for HacKeYthon '25 SMT
#3564 opened Feb 20, 2025 by WolframPfeifer • Draft
3 of 12 tasks
@WolframPfeifer
1
Cleanup: Making the build script fit for the future. 🛠 Maintenance Code quality and related things w/o functional changes
#3552 opened Feb 15, 2025 by wadoon • Draft v2.13.0
@wadoon
Cleanup: Use Standard Tech for Test Fixtures 🛠 Maintenance Code quality and related things w/o functional changes Review Request Waiting for review
#3551 opened Feb 15, 2025 by wadoon Loading… v2.12.4
@wadoon
7
Cleanup: Removal of the write and read settings using Properties 🛠 Maintenance Code quality and related things w/o functional changes
#3549 opened Feb 15, 2025 by wadoon • Draft v2.12.4
@wadoon
1
Running SMT solvers without type hierarchy encoding Feature New feature or request HacKeYthon Candidate Issue for HacKeYthon '25 SMT
#3548 opened Feb 14, 2025 by WolframPfeifer • Draft
2 of 10 tasks
Make the proof tree (or the KeY GUI in general) responsive during automatic proof search GUI
#3541 opened Feb 1, 2025 by wadoon • Draft
2 of 3 tasks
v2.12.4
1
@wadoon
1
Reactivate Checkstyle github_actions Pull requests that update GitHub Actions code 🛠 Maintenance Code quality and related things w/o functional changes Reviewer Feedback Feedback from the review needs to be addressed
#3539 opened Jan 22, 2025 by wadoon Loading… v2.12.4
@wadoon
6
Tracing2
#3504 opened Aug 5, 2024 by lks9 • Draft
1 of 5 tasks
Restoration of the formatter for KeY files
#3494 opened Jul 6, 2024 by wadoon Loading…
1 task done
@wadoon
17
Remove SequentFormula class RFC "Request for comments" is the appeal for making and expressing your opinion on a topic.
#3478 opened Jun 13, 2024 by unp1 • Draft
4 tasks
@unp1
3
Nullness Type System for key.core HacKeYthon Candidate Issue for HacKeYthon '25 🛠 Maintenance Code quality and related things w/o functional changes
#3470 opened May 3, 2024 by wadoon • Draft v2.12.4
@wadoon
11
Allow realizing multiple cached branches at once keyext.caching Module: keyext.caching Review Request Waiting for review
#3440 opened Mar 8, 2024 by FliegendeWurst Loading…
3 of 13 tasks
3
ProTip! Filter pull requests by the default branch with base:main.