Skip to content

Labels

Labels

21 labels

  • A-build-system

    A-build-system
    Area: building, linking, and the charon CLI

  • A-CI

    A-CI
    Area: Continuous Integration

  • A-comments

    A-comments
    Area: reconstruction of in-body comments

  • A-control-flow

    A-control-flow
    Area: ullbc->llbc control-flow reconstruction

  • A-internal

    A-internal
    Area: Internal details of how charon is structured

  • A-lifetimes

    A-lifetimes
    Area: Lifetimes

  • A-multi-target

    A-multi-target
    Area: multi-target translation (`--targets`)

  • A-name-matcher

    A-name-matcher
    Area: names and matching on names

  • A-traits

    A-traits
    Area: Traits and trait elaboration

  • C-bug

    C-bug
    Category: Bug

  • C-improvement

    C-improvement
    Category: Improvement

  • C-simplification-pass

    C-simplification-pass
    Category: Request for an option that modifies the output

  • C-tracking-issue

    C-tracking-issue
    Category: Long-lived issue to track the state of a topic

  • C-unsupported-language-feature

    C-unsupported-language-feature
    Category: A rust feature we don't extract well or at all

  • E-needs-help

    E-needs-help
    Call for participation: Non-expert help is needed and instructions have been given.

  • E-needs-minimization

    E-needs-minimization
    Call for participation: This bug needs to be minimized into a small example

  • needed-for-aeneas

    needed-for-aeneas

  • needed-for-soteria

    needed-for-soteria

  • S-blocked-on-rustc

    S-blocked-on-rustc
    This feature would need rustc to expose more information

  • 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