Skip to content

Labels

Labels

31 labels

  • audit

    audit
    Audit findings

  • blocks:erc4337

    blocks:erc4337
    Blocks ERC-4337 EntryPoint parity/verification

  • blocks:lido

    blocks:lido
    Blocks Lido StakingRouter parity/verification

  • blocks:morpho

    blocks:morpho
    Blocks Morpho Blue parity/verification

  • bug

    bug
    Something isn't working

  • ci:full

    ci:full
    Run the full pipeline (incl. compiler-regressions) on this PR

  • ci:mutations

    ci:mutations
    Run the import-mutations campaigns (~6 runner-hours) on this PR

  • cleanup

    cleanup
    Stale or dead code removal

  • deferred

    deferred
    Intentionally deferred until architectural cleanup is complete

  • dependencies

    dependencies
    Pull requests that update a dependency file

  • documentation

    documentation
    Improvements or additions to documentation

  • duplicate

    duplicate
    This issue or pull request already exists

  • enhancement

    enhancement
    New feature or request

  • github_actions

    github_actions
    Pull requests that update GitHub Actions code

  • good first issue

    good first issue
    Good for newcomers

  • good-first-issue

    good-first-issue
    Good for newcomers

  • help wanted

    help wanted
    Extra attention is needed

  • help-wanted

    help-wanted
    Extra attention is needed

  • invalid

    invalid
    This doesn't seem right

  • javascript

    javascript
    Pull requests that update javascript code

  • layer-3

    layer-3
    Layer 3 (IR → Yul) verification proofs

  • lean

    lean
    Lean 4 code

  • P0: correctness

    P0: correctness
    Proofs are wrong today

  • P1: core language

    P1: core language
    Blocks writing common contracts

  • P2: important

    P2: important
    Blocks specific contract categories

  • P3: deferred

    P3: deferred
    Builds on P0-P2 work

  • P4: nice-to-have

    P4: nice-to-have
    Low priority improvement

  • proof

    proof
    Lean proof work

  • python

    python
    Pull requests that update python code

  • question

    question
    Further information is requested