Skip to content

Pull requests: KeYProject/key

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

fixes Location#compareTo(Location)
#3519 opened Oct 21, 2024 by BookWood7th Loading…
Isabelle Translation
#3514 opened Sep 5, 2024 by BookWood7th Draft
5 of 7 tasks
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
Improved treatment of final fields
#3495 opened Jul 6, 2024 by mattulbrich Draft
2 of 6 tasks
Restoration of the formatter for KEY files
#3494 opened Jul 6, 2024 by wadoon Loading…
1 task
Re-enable sonarqube for quality assessment CI
#3488 opened Jun 21, 2024 by wadoon Loading…
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
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
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
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
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
MixFix Parsing - An idea
#3425 opened Feb 21, 2024 by mattulbrich Draft
2 of 13 tasks
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
Fix slicing bug related to Evaluate Query keyext.slicing Module: keyext.slicing
#3393 opened Jan 31, 2024 by FliegendeWurst Loading…
3 of 13 tasks
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
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
Remove spin lock in waitWhileAutoMode. GUI 🛠 Maintenance Code quality and related things w/o functional changes
#3356 opened Nov 19, 2023 by wadoon Loading…
ProTip! Filter pull requests by the default branch with base:main.