scilla-docs icon indicating copy to clipboard operation
scilla-docs copied to clipboard

verified publisher icon Zilliqa
→

Metadata

Documentation for Scilla

Results 40 scilla-docs issues
Sort by recently updated
recently updated
newest added

Remote read of immutable fields

See https://github.com/Zilliqa/scilla/pull/1220. Fixes #170.

jjcnn avatar jjcnn

Add documentation for functions w/ return values

Closes #169 Blocked by https://github.com/Zilliqa/scilla/pull/1197

jubnzv avatar jubnzv

Document installation using OPAM

Blocked by https://github.com/Zilliqa/scilla/issues/658.

jjcnn avatar jjcnn

Document use of Scilla binaries

Blocked by https://github.com/Zilliqa/scilla/issues/789.

jjcnn avatar jjcnn

Update CLI examples based on new error format

Blocked by https://github.com/Zilliqa/scilla/issues/541.

jjcnn avatar jjcnn

Document type variable shadowing

Blocked by https://github.com/Zilliqa/scilla/issues/794.

jjcnn avatar jjcnn

Document mulmod and addmod functions

Blocked by https://github.com/Zilliqa/scilla/issues/1041.

jjcnn avatar jjcnn

Document CLI options

Partially blocked by https://github.com/Zilliqa/scilla/issues/1168. It would be nice to have a complete listing of command-line options for all of our tools somewhere in the docs.

jjcnn avatar jjcnn

Document partial application of procedures

Blocked by https://github.com/Zilliqa/scilla/issues/577.

jjcnn avatar jjcnn

Document whitespace stripper

Blocked by https://github.com/Zilliqa/scilla/issues/485

jjcnn avatar jjcnn

← Metadata

17
Stars
16
Forks
Watchers

Owner

verified publisher icon Zilliqa

Metadata

Documentation for Scilla

Back