Labels

• add-specs

  add-specs

• bug

  bug

  Something isn't working

• cargo-creusot

  cargo-creusot

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

• crash

  crash

  Creusot crashes with a panic and dumps a stack trace

• discussion

  discussion

• doc

  doc

  Improve documentation

• easy

  easy

• enhancement

  enhancement

  New feature or request

• error-messages

  error-messages

  Improve error messages

• high-priority

  high-priority

  Given a high priority

• internal

  internal

  Improve build-from-source and test-suite

• internship-project

  internship-project

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

• known-fix

  known-fix

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

• low-priority

  low-priority

  Given a low priority

• pearlite

  pearlite

  Improve pearlite

• regression-from-stable

  regression-from-stable

• soundness

  soundness

  Enhance soundness

• termination

  termination

• toolchain

  toolchain

  Installation, distribution, dependencies

• why3

  why3