Skip to content

No labels!

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

31 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
automated pr
automated pr
blocker
blocker
1
bug
bug
Something isn't working
90
code inspection
code inspection
3
counterexamples
counterexamples
Issues related to the extraction of counterexamples and SMT models
1
critical
critical
4
declined
declined
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
24
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
incompleteness
incompleteness
internal error
internal error
6
invalid
invalid
This doesn't seem right
magic-wands
magic-wands
7
major
major
84
merged
merged
minor
minor
22
performance
performance
8
permission introspection
permission introspection
proposal
proposal
1
pull request
pull request
2
quantified permissions
quantified permissions
3
question
question
Further information is requested
task
task
triggers
triggers
4
trivial
trivial
unfolding
unfolding
1
wontfix
wontfix
This will not be worked on