Skip to content

scilla_v0.13.0
Compare
Choose a tag to compare
@jjcnn jjcnn released this 11 Nov 16:19
· 29 commits to master since this release
v0.13.0
2edbb39
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Release scilla_v0.13.0

Language and interpreter

  • Updated syntax error messages
  • Messages to libraries must output "messages" and "events" entry

Bugfixes

  • bystr20_to_bech32's None type parameter should be String

Tests and testsuite

  • Bump OUnit to 2.2.6

Tooling and utilities

  • Added Callgraph: Module to generate callgraphs
  • Sanity check: Check that map value is unboxed before use
  • Sanity check: Improve accept analysis
  • Added Code Formatter: Scilla source code formatter and AST S-expression formatter.
  • Dead code detector: Report unused fields in contract address types
  • Added Merge: Library to merge multiple contracts

Infrastructure and Misc

  • Extract CONTRIBUTING.md
  • Pin ocamlformat version to v0.22.4
  • Remove unused non-validating JSON parser
  • Use vcpkg to compile Scilla
  • Move Scilla pipeline to Jenkins
Assets 4