Skip to content

No labels!

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

9 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
A defect in the implementation
duplicate
duplicate
Duplicate of an existing issue
enhancement
enhancement
Non-functional change that may improve some stuff
2
feature
feature
New features that may or may not be implemented
1
invalid
invalid
Bullcrap entry
proof
proof
A failure to prove something (not a bug), most likely due to prover limitations
run_proof
run_proof
If an issue gets labeled with this one, a proof run on the master branch should be triggered.
wontfix
wontfix
Not a bug, or something that is (close to) impossible to implement
workflow
workflow
Issues related to the CI/CP workflow
1