Labels · Ecdar/Reveaal

Easily approachable without taking major design decisions

bug

Something isn't working

Depends on or is blocked by another issue

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

invalid

This doesn't seem right

An endeavour that requires a relatively more effort to implement

A feature that should eventually be added

question

Further information is requested

wontfix

This will not be worked on

Provide feedback