Skip to content

No labels!

There aren’t any labels for this repository quite yet.

37 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
advanced
advanced
8
backwards-incompatible-change
backwards-incompatible-change
18
blockchain
blockchain
2
bug
bug
Something isn't working
12
code style / refactoring
code style / refactoring
14
community request
community request
Feature or bugfix requested by the Scilla community
2
dead-code-detector
dead-code-detector
1
documentation
documentation
1
duplicate
duplicate
This issue or pull request already exists
emacs
emacs
3
enhancement
enhancement
New feature or request
40
evaluator
evaluator
Scilla evaluator
8
example-contract
example-contract
2
experiment
experiment
1
formatting
formatting
3
gas
gas
Issue related to gas accounting
7
good first issue
good first issue
Good for newcomers
14
help wanted
help wanted
Extra attention is needed
1
imperative
imperative
2
in-progress
in-progress
This issue is being worked on
2
inconsistency
inconsistency
Inconsistency with other parts of the code
3
infrastructure
infrastructure
9
invalid
invalid
This doesn't seem right
language design
language design
6
libraries / builtins
libraries / builtins
12
parser
parser
Parser-related issues
9
performance
performance
4
question
question
Further information is requested
rfc
rfc
2
static analysis
static analysis
18