Skip to content
This repository has been archived by the owner on Dec 13, 2022. It is now read-only.

No labels!

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

22 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
blocked
blocked
bug
bug
Something isn't working
cleanup
cleanup
1
debugging
debugging
dependencies
dependencies
Pull requests that update a dependency file
1
documentation
documentation
Improvements or additions to documentation
1
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
1
friction
friction
4
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
inverse-property
inverse-property
Pure-Gallina proofs needed to show that AES decryption is the inverse of encryption
opinions wanted
opinions wanted
Up for discussion
P0
P0
P1
P1
4
P2
P2
10
P3
P3
Very low priority item
3
P4
P4
1
question
question
Further information is requested
WIP
WIP
wontfix
wontfix
This will not be worked on