Skip to content

scilla_v0.11.0
Compare
Choose a tag to compare
@vaivaswatha vaivaswatha released this 23 Aug 07:35
· 126 commits to master since this release
v0.11.0
7c5f7c8
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.11.0

Language / Interpreter enhancements and bugfixes

Address type casts (#1020)
Lowercase address in fully qualified names (#1015)
Removed unused -estate option from scilla-runner (#1021)

Testing

map corners test combined (#995)
simple dex remote reads contract for future reference (#1014)

Build system and documentation

Updates to INSTALL instructions (#997)
Make scilla server a public library (#998)
Refactor scilla server lib to enable better reuse (#999)
Allow opam depext to fail (#1024)

Assets 4