Search results

Can't build the zq2 version of scilla on my ubuntu box

Status: Open.

#1253 In Zilliqa/scilla;

· rrw-zilliqa opened on Jun 11, 2024

Interoperability between Solidity and Scilla

Status: Open.

#1236 In Zilliqa/scilla;

· Zaptech-Anil opened on Jun 5, 2023

Scilla checker issues cause RPC errors in Zilliqa logs

Status: Open.

#1223 In Zilliqa/scilla;

· rrw-zilliqa opened on Jan 27, 2023

Make StateIPCTest.ml use JSON.ml

code style / refactoring

tests

Status: Open.

#1222 In Zilliqa/scilla;

· jjcnn opened on Jan 20, 2023

<code>scilla-checker</code>: Use JSON output format for type checking errors

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

tests

Status: Open.

#1196 In Zilliqa/scilla;

· jubnzv opened on Oct 27, 2022

Add macOS to CI

Status: Open.

#1195 In Zilliqa/scilla;

· anton-trunov opened on Oct 25, 2022

Installation guide does not work for macOS since introducing vcpkg

Status: Open.

#1194 In Zilliqa/scilla;

· anton-trunov opened on Oct 25, 2022

Dead code analysis for nested unused fields in contract adress types

dead-code-detector

enhancementNew feature or requestNew feature or request

static analysis

Status: Open.

#1182 In Zilliqa/scilla;

· jubnzv opened on Oct 11, 2022

Re-enable REPLICATE_CONTRACT

blockchain

community requestFeature or bugfix requested by the Scilla communityFeature or bugfix requested by the Scilla community

enhancementNew feature or requestNew feature or request

Status: Open.

#1180 In Zilliqa/scilla;

· jjcnn opened on Oct 7, 2022

· 

Scilla 0.14.0

Validate the interpreter's major version against the contract's/library's major version

backwards-incompatible-change

bugSomething isn't workingSomething isn't working

evaluatorScilla evaluatorScilla evaluator

Status: Open.

#1176 In Zilliqa/scilla;

· jjcnn opened on Sep 28, 2022

· 

Scilla 1.0.0

Unicode support in Scilla strings

community requestFeature or bugfix requested by the Scilla communityFeature or bugfix requested by the Scilla community

enhancementNew feature or requestNew feature or request

usability

Status: Open.

#1169 In Zilliqa/scilla;

· anton-trunov opened on Sep 14, 2022

· 

Scilla 0.14.0

CLI option to suppress certain analyses

enhancementNew feature or requestNew feature or request

performance

static analysis

Status: Open.

#1168 In Zilliqa/scilla;

· jubnzv opened on Sep 13, 2022

· 

Scilla 0.14.0