Labels

• 0002-type-states

  0002-type-states

• 0003-external-calls

  0003-external-calls

• 0004-traits

  0004-traits

• 0005-assets

  0005-assets

• bug

  bug

• code smell

  code smell

• dependencies

  dependencies

  Pull requests that update a dependency file

• documentation

  documentation

• feature

  feature

• FIP

  FIP

• good first issue

  good first issue

• help wanted

  help wanted

• important

  important

• javascript

  javascript

  Pull requests that update Javascript code

• merge priority

  merge priority

• merge wanted

  merge wanted

• optimisation

  optimisation

• parser

  parser

• review wanted

  review wanted

• rust

  rust

  Pull requests that update Rust code

• solidity-translation

  solidity-translation

• tests

  tests

• verifier

  verifier