Skip to content

No labels!

There aren’t any labels for this repository quite yet.

bug
bug
Something isn't working
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
incorrect interpretation
incorrect interpretation
The pre-/postcondition do not agree with what is expressed in the prompt
invalid
invalid
This doesn't seem right
question
question
Further information is requested
strong precondition
strong precondition
The precondition is (much) stronger than what is specified in the prompt
weak postcondition
weak postcondition
The postcondition is (much) weaker than what is specified in the prompt
wontfix
wontfix
This will not be worked on