Skip to content

Pull requests: KeYProject/key

New pull request New
34 Open 338 Closed
34 Open 338 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

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.14.0
@wadoon
Realize generic navigation structure 🛠 Maintenance Code quality and related things w/o functional changes RFC "Request for comments" is the appeal for making and expressing your opinion on a topic.
#3472 opened May 22, 2024 by Drodt Loading…
@Drodt
Nullness Type System for key.core 🛠 Maintenance Code quality and related things w/o functional changes
#3470 opened May 3, 2024 by wadoon • Draft v2.16.0
@wadoon
More general equalsModProperty 🛠 Maintenance Code quality and related things w/o functional changes
#3459 opened Apr 19, 2024 by tobias-rnh Loading… v2.14.0
@tobias-rnh
1
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
HacKeYthon: Improved Taclet Options
#3433 opened Feb 24, 2024 by tobias-rnh • Draft
5 of 13 tasks
@tobias-rnh
1
Hackeython unknown methods HacKeYthon Candidate Issue for HacKeYthon '24
#3431 opened Feb 22, 2024 by flo2702 Loading…
5 of 13 tasks
@flo2702
1
Generate easier POs for non-trivial diverges clauses Calculus
#3430 opened Feb 22, 2024 by Drodt Loading…
3 of 13 tasks
v2.14.0
1
@Drodt
2
Hackeython: ADTs in JML Feature New feature or request HacKeYthon Candidate Issue for HacKeYthon '24 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
2
MixFix Parsing - An idea
#3425 opened Feb 21, 2024 by mattulbrich • Draft
2 of 13 tasks
1
Removal of Triple, and Quadruple 🛠 Maintenance Code quality and related things w/o functional changes
#3399 opened Feb 11, 2024 by wadoon Loading… v2.14.0
@wadoon
3
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
Revert "Fix CurrentGoalView highlights not being removed" GUI 🐞 Bug P:LOW Reviewer Feedback Feedback from the review needs to be addressed
#3391 opened Jan 30, 2024 by mattulbrich Loading…
2 of 13 tasks
3
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.14.0
@wadoon
1
Revive work on Polymorphic Sorts Feature New feature or request HacKeYthon Candidate Issue for HacKeYthon '24 KeY Parser Prover Core
#3384 opened Jan 12, 2024 by wadoon • Draft v2.16.0
@wadoon @mattulbrich
1
Alternative for: "If possible save the last selected node in the proof, to reselect it upon loading."
#3380 opened Dec 28, 2023 by wadoon Loading…
@wadoon
2
Fix for the LoopInvariantConfigurationDialog GUI Java Pull requests that update Java code 🐞 Bug Review Request Waiting for review
#3377 opened Dec 20, 2023 by unp1 Loading…
3 of 13 tasks
@unp1
7
Introduce JML aliases of frame conditions for better tool compatibility HacKeYthon Candidate Issue for HacKeYthon '24 JML Parser Review Request Waiting for review
#3365 opened Nov 28, 2023 by mi-ki Loading…
3 of 13 tasks
24
Remove spin lock in waitWhileAutoMode. GUI 🛠 Maintenance Code quality and related things w/o functional changes
#3356 opened Nov 19, 2023 by wadoon Loading…
@wadoon
4
Fix overflow checking Calculus Documentation Improvements or additions to documentation 🐞 Bug P:HIGH Prover Core ✋ Soundness
#3353 opened Nov 15, 2023 by WolframPfeifer • Draft
3 of 6 tasks
1
@WolframPfeifer
2
Create a JSON-RPC for KeY keyext.api
#3303 opened Oct 17, 2023 by wadoon • Draft
1 task
v2.16.0
@wadoon
7
One Step Simplifier: optimizations (no new rules) Prover Core
#3280 opened Sep 22, 2023 by FliegendeWurst Loading…
@FliegendeWurst
3
One Step Simplifier: optimizations and new rules Prover Core Robustness
#3272 opened Sep 5, 2023 by FliegendeWurst Loading…
1
@FliegendeWurst
2
Proof caching: external database Feature New feature or request GUI
#3265 opened Aug 28, 2023 by FliegendeWurst • Draft
4 tasks done
@FliegendeWurst
1
Linearized symbolic execution in proof tree Feature New feature or request GUI Review Request Waiting for review
#3237 opened Aug 3, 2023 by FliegendeWurst Loading…
@FliegendeWurst
5
ProTip! no:milestone will show everything without a milestone.