Labels

• bug

  Something isn't working
• cargo-creusot

  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
• discussion
• doc

  Improve documentation
• easy
• enhancement

  New feature or request
• error-messages

  Improve error messages
• high-priority

  Given a high priority
• internal

  Improve build-from-source and test-suite
• internship-project

  Potentially interesting to tackle as an internship project (~undergraduate level)
• known-fix

  Issue for which we know a fix, that we "just" need to implement.
• low-priority

  Given a low priority
• pearlite

  Improve pearlite
• regression-from-stable
• soundness

  Enhance soundness
• toolchain

  Installation, distribution, dependencies
• why3