Issues

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

  Zilliqa/scilla#1253 · Filter by author rrw-zilliqa opened on Jun 11, 2024
  

• Interoperability between Solidity and Scilla

  Zilliqa/scilla#1236 · Filter by author Zaptech-Anil opened on Jun 5, 2023

• Scilla checker issues cause RPC errors in Zilliqa logs

  Zilliqa/scilla#1223 · Filter by author rrw-zilliqa opened on Jan 27, 2023
  

• Make StateIPCTest.ml use JSON.ml

  code style / refactoringtests
  Zilliqa/scilla#1222 · Filter by author jjcnn opened on Jan 20, 2023

• scilla-checker: Use JSON output format for type checking errors

  enhancementgood first issuetests
  Zilliqa/scilla#1196 · Filter by author jubnzv opened on Oct 27, 2022

• Add macOS to CI

  Zilliqa/scilla#1195 · Filter by author anton-trunov opened on Oct 25, 2022

• Installation guide does not work for macOS since introducing vcpkg

  Zilliqa/scilla#1194 · Filter by author anton-trunov opened on Oct 25, 2022

• Dead code analysis for nested unused fields in contract adress types

  dead-code-detectorenhancementstatic analysis
  Zilliqa/scilla#1182 · Filter by author jubnzv opened on Oct 11, 2022

• Re-enable REPLICATE_CONTRACT

  blockchaincommunity requestenhancement
  Zilliqa/scilla#1180 · Filter by author jjcnn opened on Oct 7, 2022 · Scilla 0.14.0
  3

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

  backwards-incompatible-changebugevaluator
  Zilliqa/scilla#1176 · Filter by author jjcnn opened on Sep 28, 2022 · Scilla 1.0.0

• Unicode support in Scilla strings

  community requestenhancementusability
  Zilliqa/scilla#1169 · Filter by author anton-trunov opened on Sep 14, 2022 · Scilla 0.14.0
  5

• CLI option to suppress certain analyses

  enhancementperformancestatic analysis
  Zilliqa/scilla#1168 · Filter by author jubnzv opened on Sep 13, 2022 · Scilla 0.14.0

• Expression tests should print type arguments of ADT values

  enhancementtests
  Zilliqa/scilla#1167 · Filter by author anton-trunov opened on Sep 9, 2022 · Scilla 0.14.0

• Check for openssl v. 1.1 during build

  documentationusability
  Zilliqa/scilla#1165 · Filter by author jjcnn opened on Sep 8, 2022 · Scilla 0.14.0
  1

• scilla-fmt improvements roadmap

  formatting
  Zilliqa/scilla#1162 · Filter by author anton-trunov opened on Aug 29, 2022 · Scilla 0.14.0

• Use anonymous records for AST nodes

  code style / refactoringenhancementgood first issue
  Zilliqa/scilla#1160 · Filter by author jubnzv opened on Aug 28, 2022 · Scilla 0.14.0

• Use Cmdliner to parse CLI in tools

  enhancementgood first issueusability
  Zilliqa/scilla#1153 · Filter by author jubnzv opened on Aug 19, 2022 · Scilla 0.14.0
  2

• Support for inputting ADT values for transitions

  enhancementusability
  Zilliqa/scilla#1151 · Filter by author anton-trunov opened on Aug 19, 2022 · Scilla 0.14.0

• Design functions to fold through statements and expressions

  code style / refactoringenhancement
  Zilliqa/scilla#1148 · Filter by author jubnzv opened on Aug 17, 2022 · Scilla 0.14.0
  2

  

• Write an audit tool that uses Callgraph

  enhancementstatic analysis
  Zilliqa/scilla#1145 · Filter by author jubnzv opened on Aug 16, 2022 · Scilla 0.14.0
  2

• Report precise locations in evaluator error messages

  evaluatorusability
  Zilliqa/scilla#1135 · Filter by author anton-trunov opened on Aug 4, 2022 · Scilla 0.14.0
  2

• Incorporate the dump of all deployed contracts into tests

  enhancementtests
  Zilliqa/scilla#1120 · Filter by author anton-trunov opened on Jul 26, 2022 · Scilla 0.14.0
  4

• Make Scilla's OCaml API more convenient to use

  Zilliqa/scilla#1096 · Filter by author anton-trunov opened on Jul 18, 2022

• Forbid empty sequences of imperative statements

  backwards-incompatible-changeimperativelanguage design
  Zilliqa/scilla#1087 · Filter by author anton-trunov opened on Jun 17, 2022 · Scilla 1.0.0

• Project files for multi-contract projects

  enhancementstatic analysisusability
  Zilliqa/scilla#1084 · Filter by author anton-trunov opened on Jun 17, 2022