Skip to content

Issues: Zilliqa/scilla-docs

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

38 Open 27 Closed
38 Open 27 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Document installation using OPAM
#184 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
Document use of Scilla binaries
#183 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
Update CLI examples based on new error format
#182 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
Document type variable shadowing
#181 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
Document mulmod and addmod functions
#180 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
Document CLI options
#179 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
Document partial application of procedures
#178 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
@jubnzv
Document whitespace stripper
#177 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
Document code formatting tool
#176 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
Document macro-expansion of type names
#175 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
Document REPLICATE_CONTRACT
#174 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
Document input tool for ADT values
#173 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
Document BNum conversion utilities
#172 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
Document the audit tool that uses Callgraph
#171 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
@jubnzv
Document remote reads of contract parameters
#170 opened Dec 5, 2022 by jjcnn Scilla 0.14.0
1
@jjcnn
Document procedures with return values enhancement New feature or request
#169 opened Nov 10, 2022 by jubnzv Scilla 0.14.0
1
@jubnzv
Scilla style guide enhancement New feature or request help wanted Extra attention is needed
#168 opened Sep 30, 2022 by jubnzv Scilla 0.14.0
Document the fact that Scilla does not support Unicode at the moment
#167 opened Sep 14, 2022 by anton-trunov Scilla 0.14.0
bech32_to_bystr20 and bech32_to_bystr20: tzil prefix is not actually supported
#166 opened Sep 9, 2022 by anton-trunov Scilla 0.14.0
Document _codehash
#159 opened Aug 19, 2022 by anton-trunov Scilla 0.14.0
alt_bn128_pairing_product's return type is incorrectly documented
#157 opened Feb 9, 2022 by anton-trunov Scilla 0.14.0
Document that ecdsa_verify and schnorr_verify builtins can throw exception if input data is malformed
#156 opened Feb 7, 2022 by anton-trunov Scilla 0.14.0
Upgrade the title tag in scilla-docs to 0.10.0
#145 opened Jul 1, 2021 by MszBednarski Scilla 0.14.0
The source of Scilla Slides is missing
#142 opened Jun 21, 2021 by zorobabbage Scilla 0.14.0
3
Add an index of terms the manual mentions
#137 opened May 24, 2021 by anton-trunov
ProTip! Type g i on any issue or pull request to go back to the issue listing page.