Skip to content

scilla_v0.9.0
Compare
Choose a tag to compare
@vaivaswatha vaivaswatha released this 11 Sep 07:16
v0.9.0
642e2bf
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 notes for scilla_v0.9.0

  • Scale down gas consumption (#877)

Build system and others

  • Upgrade to Ocaml 4.10 and Core 0.14 (remove OCaml 4.07) (#878)
  • Opam tweaks (#879)
  • OCaml 4.11 is supported (#880)
  • ci: use OCaml 4.10.1 (#881)
  • opam: make scilla.eval library available (#882)
  • Eval minor refactoring (#883)
Assets 4