Labels

• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• part: CameLIGO

  Issues and PRs related to CameLIGO extraction
• part: dependencies
• part: Elm

  Issues and PRs related to Elm extraction
• part: embedding

  Issues and PRs related to the embedding layer
• part: examples

  Issues and PRs related to examples
• part: execution

  Issues and PRs related to the execution layer
• part: extraction

  Issues and PRs related to extraction framework
• part: infrastructure

  Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
• part: Liquidity

  Issues and PRs related to Liquidity extraction
• part: Rust

  Issues and PRs related to Rust extraction
• part: testing

  Issues and PRs related to the testing framework
• priority: blocker

  Urgently needed
• priority: critical

  Urgently needed
• priority: high

  High priority issue/PR
• priority: low

  Low priority issue/PR
• priority: medium

  Medium priority issue/PR
• state: blocked

  Something blocks completion of this issue or pull request
• state: duplicate

  This issue or pull request already exists
• state: invalid

  This doesn't seem right
• state: needs information

  Further information is requested
• state: review needed

  PR needs review
• state: wontfix

  This will not be worked on
• state: work in progress

  Issue/PR being worked on
• type: bug

  Something isn't working
• type: discussion

  Discussion about a feature
• type: documentation

  Changes to documentation
• type: enhancement

  Enhancement to an existing feature
• type: feature

  New feature request/implementation