This repository was archived by the owner on Aug 27, 2025. It is now read-only.
This repository was archived by the owner on Aug 27, 2025. It is now read-only.
Missing link in the README.md #9
Description
In the README.md there's this particular section
A scilla-server provides the functionality of scilla-runner and scilla-checker as a JSON-RPC server.
The scilla-server process accepts contract execution requests and executes the contract,
providing a JSON output within the server process itself.
More details about Scilla Server can be found here.
The link to here has been omitted. Is it possible to add this into the README.md?