Skip to content

Issues: tudo-aqua/stars

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Issues list

Remove @Suppress annotations overall clean-up Something is out of date and should be removed code-quality Everything regarding the quality of the code tests Something needs additional unit tests
#190 opened Nov 4, 2024 by tillschallau v0.6
Update spotless gradle plugin to fix false detekt warnings bug Something isn't working documentation Improvements or additions to documentation
#184 opened Oct 28, 2024 by tillschallau v0.5
Make egoVehicle in AV data not nullable code-quality Everything regarding the quality of the code
#178 opened Sep 23, 2024 by tillschallau v0.6
Add workflow directory to CODEOWNERS file code-quality Everything regarding the quality of the code
#159 opened Aug 14, 2024 by dominikmaeckel v0.5
Look into BuildScans code-quality Everything regarding the quality of the code discussion Something that should be discussed github_actions Pull requests that update GitHub Actions code
#158 opened Aug 14, 2024 by dominikmaeckel Future work
Think about propagating evaluation results through to monitors discussion Something that should be discussed feature New feature
#124 opened Jul 1, 2024 by tillschallau Future work
Add missing CMFTBL operators discussion Something that should be discussed feature New feature
#119 opened May 29, 2024 by tillschallau v0.6
Add binding operator discussion Something that should be discussed feature New feature
#113 opened May 21, 2024 by dominikmaeckel Future work
Prettify logger outputs feature New feature
#108 opened May 16, 2024 by tillschallau Future work
Add dedicated type for intervals in CMFTBL formulas discussion Something that should be discussed feature New feature
#84 opened Apr 3, 2024 by dominikmaeckel Future work
Add "Update Docs" Bot code-quality Everything regarding the quality of the code feature New feature
#74 opened Mar 28, 2024 by tillschallau Future work
Unify PredicateCaches in PredicateContext code-quality Everything regarding the quality of the code
#71 opened Mar 18, 2024 by dominikmaeckel Future work
Check caches in PredicateContext performance Performance improvement
#56 opened Mar 7, 2024 by dominikmaeckel Future work
ProTip! Exclude everything labeled bug with -label:bug.