Labels

• advanced
• backwards-incompatible-change
• blockchain
• bug

  Something isn't working
• code style / refactoring
• community request

  Feature or bugfix requested by the Scilla community
• dead-code-detector
• documentation
• duplicate

  This issue or pull request already exists
• emacs
• enhancement

  New feature or request
• evaluator

  Scilla evaluator
• example-contract
• experiment
• formatting
• gas

  Issue related to gas accounting
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• imperative
• in-progress

  This issue is being worked on
• inconsistency

  Inconsistency with other parts of the code
• infrastructure
• invalid

  This doesn't seem right
• language design
• libraries / builtins
• parser

  Parser-related issues
• performance
• question

  Further information is requested
• rfc
• static analysis