Labels

• A-build-system

  A-build-system

  Pertains to building, linking, and the charon CLI

• A-CI

  A-CI

  Pertains to Continuous Integration

• A-comments

  A-comments

  Issue related to the placement of comments in the translated ast

• A-control-flow

  A-control-flow

  Issue related to ullbc->llbc control-flow reconstruction

• A-internal

  A-internal

  Internal details of how charon is structured

• A-lifetimes

  A-lifetimes

  Related to rust lifetimes

• A-multi-target

  A-multi-target

  Bugs related to the multi-target translation feature

• A-name-matcher

  A-name-matcher

  Pertains to names and matching on names

• A-traits

  A-traits

  Related to traits and trait elaboration

• C-bug

  C-bug

  A bug in charon

• C-improvement

  C-improvement

• C-simplification-pass

  C-simplification-pass

  Request for charon to process the output llbc

• C-tracking-issue

  C-tracking-issue

• C-unsupported-language-feature

  C-unsupported-language-feature

  A rust feature we don't extract well

• E-needs-help

  E-needs-help

  Issues where non-expert help is needed and instructions have been given.

• E-needs-minimization

  E-needs-minimization

  This bug needs to be minimized into a small example with minimal dependencies.

• S-hax

  S-hax

  Fixing this issue requires modifying hax

• S-representation

  S-representation

  This feature requires a nontrivial change to the AST of Charon