GitHub · Where software is built

This repository was archived by the owner on Aug 27, 2025. It is now read-only.

Labels Milestones

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

#1253

· rrw-zilliqa opened

on Jun 11, 2024

Interoperability between Solidity and Scilla

#1236

· Zaptech-Anil opened

on Jun 5, 2023

Scilla checker issues cause RPC errors in Zilliqa logs

#1223

· rrw-zilliqa opened

on Jan 27, 2023

Make StateIPCTest.ml use JSON.ml

code style / refactoring

#1222

· jjcnn opened

on Jan 20, 2023

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

good first issue

#1196

· jubnzv opened

on Oct 27, 2022

Add macOS to CI

#1195

· anton-trunov opened

on Oct 25, 2022

Installation guide does not work for macOS since introducing vcpkg

#1194

· anton-trunov opened

on Oct 25, 2022

Dead code analysis for nested unused fields in contract adress types

dead-code-detector

static analysis

#1182

· jubnzv opened

on Oct 11, 2022

Re-enable REPLICATE_CONTRACT

community request

#1180

· jjcnn opened

on Oct 7, 2022

·

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

backwards-incompatible-change

#1176

· jjcnn opened

on Sep 28, 2022

·

Unicode support in Scilla strings

community request

#1169

· anton-trunov opened

on Sep 14, 2022

·

CLI option to suppress certain analyses

static analysis

#1168

· jubnzv opened

on Sep 13, 2022

·