Labels

Something isn't working

Feature or bugfix requested by the Scilla community

This issue or pull request already exists

New feature or request

Scilla evaluator

Issue related to gas accounting

Good for newcomers

Extra attention is needed

This issue is being worked on

Inconsistency with other parts of the code

This doesn't seem right

Parser-related issues

Further information is requested