Skip to content

Pull requests: KeYProject/key

New pull request New
36 Open 377 Closed
36 Open 377 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

RuleApp interface for all external solvers (prep for #3514)
#3521 opened Oct 23, 2024 by BookWood7th • Draft
1
Add conversion rules for Float/Double negation Calculus Completeness 🐞 Bug
#3520 opened Oct 23, 2024 by WolframPfeifer Loading…
@WolframPfeifer
1
fixes Location#compareTo(Location)
#3519 opened Oct 21, 2024 by BookWood7th Loading…
2
Isabelle Translation
#3514 opened Sep 5, 2024 by BookWood7th • Draft
5 of 7 tasks
1
Tracing2
#3504 opened Aug 5, 2024 by lks9 • Draft
1 of 5 tasks
Remove version lock for JDT in spotless 🛠 Maintenance Code quality and related things w/o functional changes
#3498 opened Jul 7, 2024 by wadoon Loading… v2.14.0
@wadoon
Improved treatment of final fields
#3495 opened Jul 6, 2024 by mattulbrich • Draft
2 of 6 tasks
@mattulbrich
2
Restoration of the formatter for KEY files
#3494 opened Jul 6, 2024 by wadoon Loading…
1 task
@wadoon
3
Re-enable sonarqube for quality assessment CI
#3488 opened Jun 21, 2024 by wadoon Loading…
2
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.14.0
@wadoon
1
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
2
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.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
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
2
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
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
Create a JSON-RPC for KeY keyext.api
#3303 opened Oct 17, 2023 by wadoon • Draft
1 task
v2.16.0
@wadoon
9
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
ProTip! Filter pull requests by the default branch with base:main.