Skip to content

Issues: Zilliqa/scilla

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

129 Open 275 Closed
129 Open 275 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Interoperability between Solidity and Scilla
#1236 opened Jun 5, 2023 by Zaptech-Anil
Scilla checker issues cause RPC errors in Zilliqa logs
#1223 opened Jan 27, 2023 by rrw-zilliqa
@rrw-zilliqa
Make StateIPCTest.ml use JSON.ml code style / refactoring tests
#1222 opened Jan 20, 2023 by jjcnn
scilla-checker: Use JSON output format for type checking errors enhancement New feature or request good first issue Good for newcomers tests
#1196 opened Oct 27, 2022 by jubnzv
Add macOS to CI
#1195 opened Oct 25, 2022 by anton-trunov
Installation guide does not work for macOS since introducing vcpkg
#1194 opened Oct 25, 2022 by anton-trunov
Dead code analysis for nested unused fields in contract adress types dead-code-detector enhancement New feature or request static analysis
#1182 opened Oct 11, 2022 by jubnzv
Re-enable REPLICATE_CONTRACT blockchain community request Feature or bugfix requested by the Scilla community enhancement New feature or request
#1180 opened Oct 7, 2022 by jjcnn Scilla 0.14.0
3
Validate the interpreter's major version against the contract's/library's major version backwards-incompatible-change bug Something isn't working evaluator Scilla evaluator
#1176 opened Sep 28, 2022 by jjcnn Scilla 1.0.0
Unicode support in Scilla strings community request Feature or bugfix requested by the Scilla community enhancement New feature or request usability
#1169 opened Sep 14, 2022 by anton-trunov Scilla 0.14.0
5
CLI option to suppress certain analyses enhancement New feature or request performance static analysis
#1168 opened Sep 13, 2022 by jubnzv Scilla 0.14.0
Expression tests should print type arguments of ADT values enhancement New feature or request tests
#1167 opened Sep 9, 2022 by anton-trunov Scilla 0.14.0
Check for openssl v. 1.1 during build documentation usability
#1165 opened Sep 8, 2022 by jjcnn Scilla 0.14.0
1
scilla-fmt improvements roadmap formatting
#1162 opened Aug 29, 2022 by anton-trunov
2 of 14 tasks
Scilla 0.14.0
Use anonymous records for AST nodes code style / refactoring enhancement New feature or request good first issue Good for newcomers
#1160 opened Aug 28, 2022 by jubnzv Scilla 0.14.0
Use Cmdliner to parse CLI in tools enhancement New feature or request good first issue Good for newcomers usability
#1153 opened Aug 19, 2022 by jubnzv Scilla 0.14.0
2
Support for inputting ADT values for transitions enhancement New feature or request usability
#1151 opened Aug 19, 2022 by anton-trunov Scilla 0.14.0
Design functions to fold through statements and expressions code style / refactoring enhancement New feature or request
#1148 opened Aug 17, 2022 by jubnzv Scilla 0.14.0
@jubnzv
2
Write an audit tool that uses Callgraph enhancement New feature or request static analysis
#1145 opened Aug 16, 2022 by jubnzv
4 tasks
Scilla 0.14.0
2
Report precise locations in evaluator error messages evaluator Scilla evaluator usability
#1135 opened Aug 4, 2022 by anton-trunov Scilla 0.14.0
2
Incorporate the dump of all deployed contracts into tests enhancement New feature or request tests
#1120 opened Jul 26, 2022 by anton-trunov Scilla 0.14.0
4
Make Scilla's OCaml API more convenient to use
#1096 opened Jul 18, 2022 by anton-trunov
Forbid empty sequences of imperative statements backwards-incompatible-change imperative language design
#1087 opened Jun 17, 2022 by anton-trunov Scilla 1.0.0
Project files for multi-contract projects enhancement New feature or request static analysis usability
#1084 opened Jun 17, 2022 by anton-trunov
Make error type more structured: separate error kind from concrete example enhancement New feature or request usability
#1059 opened Dec 15, 2021 by anton-trunov
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.