Labels

• A-build-system

  Pertains to building, linking, and the charon CLI
• A-CI

  Pertains to Continuous Integration
• A-comments

  Issue related to the placement of comments in the translated ast
• A-control-flow

  Issue related to ullbc->llbc control-flow reconstruction
• A-internal

  Internal details of how charon is structured
• A-lifetimes

  Related to rust lifetimes
• A-name-matcher

  Pertains to names and matching on names
• C-bug

  A bug in charon
• C-improvement
• C-simplification-pass

  Request for charon to process the output llbc
• C-tracking-issue
• C-unsupported-language-feature

  A rust feature we don't extract well
• E-needs-help

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

  Fixing this issue requires modifying hax