Labels · epfl-lara/rust-stainless

bug

Something isn't working

Improvements or additions to documentation

This issue or pull request already exists

Improvement to an existing feature

Feature or bug with the extraction phase

feature

Something needs to be added

Good for newcomers

Extra attention is needed

Feature or bug related to imperative features

invalid

This doesn't seem right

low prio

question

Further information is requested

Feature or bug with the verification phase

wontfix

This will not be worked on

Provide feedback