Skip to content

Pull requests: KeYProject/key

New pull request New
41 Open 408 Closed
41 Open 408 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Introducing some structure for model method bodies Feature New feature or request JML Parser Review Request Waiting for review
#3571 opened Feb 23, 2025 by mattulbrich Loading…
1 of 4 tasks
@mattulbrich
3
Use a custom Github action for setting up the SMT solvers CI Infrastructure Changes to the Github configurations, repository or other non-source stuff 🛠 Maintenance Code quality and related things w/o functional changes
#3569 opened Feb 23, 2025 by wadoon Loading… v2.12.4
@wadoon
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 Reviewer Feedback Feedback from the review needs to be addressed
#3551 opened Feb 15, 2025 by wadoon Loading…
@wadoon
4
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 Loading… 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
Bump the gradle-deps group with 2 updates dependencies Pull requests that update a dependency file Java Pull requests that update Java code
#3542 opened Feb 1, 2025 by dependabot bot Loading…
@WolframPfeifer
4
Fix #3415 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
Isabelle Translation
#3514 opened Sep 5, 2024 by BookWood7th Loading…
4
Tracing2
#3504 opened Aug 5, 2024 by lks9 • Draft
1 of 5 tasks
Improved treatment of final fields Review Request Waiting for review
#3495 opened Jul 6, 2024 by mattulbrich Loading…
13 tasks done
@mattulbrich
5
Restoration of the formatter for KEY files
#3494 opened Jul 6, 2024 by wadoon Loading…
1 task
@wadoon
8
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
1
Package structured reworked for sealed packages 🛠 Maintenance Code quality and related things w/o functional changes
#3473 opened May 24, 2024 by wadoon Loading… v2.13.0
@wadoon
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
9
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
Generate easier POs for non-trivial diverges clauses Calculus
#3430 opened Feb 22, 2024 by Drodt Loading…
3 of 13 tasks
v2.13.0
1
@Drodt
3
Hackeython: ADTs in JML Feature New feature or request HacKeYthon Candidate Issue for HacKeYthon '25 JML Parser RFC "Request for comments" is the appeal for making and expressing your opinion on a topic.
#3427 opened Feb 22, 2024 by Drodt • Draft
2 of 13 tasks
10
MixFix Parsing - An idea
#3425 opened Feb 21, 2024 by mattulbrich • Draft
2 of 13 tasks
1
Fix slicing bug related to Evaluate Query keyext.slicing Module: keyext.slicing
#3393 opened Jan 31, 2024 by FliegendeWurst Loading…
3 of 13 tasks
10
Renovation of the TestCase generation 🐞 Bug 🛠 Maintenance Code quality and related things w/o functional changes Test Case Generator
#3388 opened Jan 19, 2024 by wadoon • Draft v2.13.0
@wadoon
1
Revive work on Polymorphic Sorts Feature New feature or request HacKeYthon Candidate Issue for HacKeYthon '25 KeY Parser Prover Core
#3384 opened Jan 12, 2024 by wadoon • Draft v2.13.0
@wadoon @mattulbrich
4
ProTip! Adding no:label will show everything without a label.