Labels · HeisenbugLtd/Saatana

A defect in the implementation

Duplicate of an existing issue

Non-functional change that may improve some stuff

New features that may or may not be implemented

Bullcrap entry

A failure to prove something (not a bug), most likely due to prover limitations

If an issue gets labeled with this one, a proof run on the master branch should be triggered.

Not a bug, or something that is (close to) impossible to implement

Issues related to the CI/CP workflow

Provide feedback