Labels · creusot-rs/creusot

bug

Something isn't working

Issue is related to the `cargo-creusot` and more generally the porcelain around creusot

crash

Creusot crashes with a panic and dumps a stack trace

doc

Improve documentation

easy

New feature or request

Improve error messages

Given a high priority

Potentially interesting to tackle as an internship project (~undergraduate level)

Issue for which we know a fix, that we "just" need to implement.

Given a low priority

pearlite

Improve pearlite

Enhance soundness

Provide feedback