FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[Original HTTPS Page]
Issues · KeYProject/key · GitHub
Uh oh!
There was an error while loading.
Please reload this page
.
KeYProject
/
key
Public
Notifications
You must be signed in to change notification settings
Fork
46
Star
88
Code
Issues
337
Pull requests
43
Discussions
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Wiki
Security and quality
Insights
Issues
Assigned to me
Created by me
Mentioned
Recent activity
Views
Projects
Milestones
Labels
All issues
Issue creation is restricted in this repository
Issues
Search Issues
is
:
issue
state
:
open
is:issue state:open
Search
Search results
Open
Closed
Incompleteness of quantifier treatment
Calculus
Completeness
Status: Open.
#3972
In KeYProject/key;
·
mattulbrich
opened
on Aug 18, 2026
Parametric Type Declarations in ghost fields
JML Parser
Status: Open.
Feature
#3955
In KeYProject/key;
·
Robert-Brune
opened
on Aug 2, 2026
Additional contract generated from the FM tutorial example
🐞 Bug
JML Parser
Status: Open.
Bug
#3937
In KeYProject/key;
·
WolframPfeifer
opened
on Jul 22, 2026
·
v3.1.0
Difference in verification depending where the static method is place.
Completeness
Status: Open.
Bug
#3917
In KeYProject/key;
·
wadoon
opened
on Jul 11, 2026
·
v3.1.0
Double constants cannot be parsed in the new parser framework
Java Parser
Status: Open.
Bug
#3885
In KeYProject/key;
·
mattulbrich
opened
on Jul 3, 2026
String literals in JML specification are not created
🐞 Bug
Completeness
Status: Open.
Bug
#3864
In KeYProject/key;
·
Drodt
opened
on Jun 26, 2026
That example leads to an UnsupportedOperationException in JavaParser.
🐞 Bug
Java Parser
Status: Open.
Bug
#3827
In KeYProject/key;
·
wadoon
opened
on Jun 13, 2026
JML translation are not correctly handled by Final Fields support
JavaJMLParser
P:HIGH
Status: Open.
Bug
#3799
In KeYProject/key;
·
wadoon
opened
on Apr 6, 2026
Proof management tool resets KeY settings
keyext.proofmanagement
Module: keyext.proofmanagement
Module: keyext.proofmanagement
Status: Open.
Bug
#3792
In KeYProject/key;
·
FliegendeWurst
opened
on Mar 25, 2026
Java 25 Features for KeY
JavaJMLParser
JML (Semantics)
JML Parser
Status: Open.
Feature
#3774
In KeYProject/key;
·
wadoon
opened
on Mar 17, 2026
·
v3.1.0
JSON-RPC API tutorial
Status: Open.
Task
#3772
In KeYProject/key;
·
wadoon
opened
on Mar 14, 2026
·
v3.0.0
Releasing KeY 3.0 and 2.13 release (Milestone v3.0.0)
🛠 Maintenance
Code quality and related things w/o functional changes
Code quality and related things w/o functional changes
Status: Open.
Task
#3768
In KeYProject/key;
·
wadoon
opened
on Mar 14, 2026
·
v3.0.0
Back
|
FazBrowse Home
|
New Git URL