-
Notifications
You must be signed in to change notification settings - Fork 41
Open
Labels
🐞 Bug🚀 PerformanceBreaks APIFeatureNew feature or requestNew feature or requestJML (Semantics)JML ParserJavaPull requests that update Java codePull requests that update Java codeJava ParserJavaJMLParserhelp wantedExtra attention is neededExtra attention is needed🛠 MaintenanceCode quality and related things w/o functional changesCode quality and related things w/o functional changes
Milestone
Description
Please describe your proposal in a ONE sentence
One sentence describing your idea
Underlying problem
A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]
Usage Scenario
Who (user scenario) would benefit from implementing the idea?
Describe a short use case scenario in which the suggested idea is featured.
Describe the solution you'd like: A clear and concise description of what you want to happen.
Alternatives
A clear and concise description of any alternative solutions or features you've considered.
Why is the suggestion the best alternative?
Estimated effort
If you can: Estimate the effort that has to be invested to implement the feature request.
Is there still discussion needed? Or is it purely implementation? Expertises needed?
Additional context
Add any other context or screenshots about the feature request here.
Metadata
Metadata
Assignees
Labels
🐞 Bug🚀 PerformanceBreaks APIFeatureNew feature or requestNew feature or requestJML (Semantics)JML ParserJavaPull requests that update Java codePull requests that update Java codeJava ParserJavaJMLParserhelp wantedExtra attention is neededExtra attention is needed🛠 MaintenanceCode quality and related things w/o functional changesCode quality and related things w/o functional changes