Skip to content
This repository was archived by the owner on Aug 27, 2025. It is now read-only.

scilla_v0.9.1

Choose a tag to compare

View all tags
@vaivaswatha vaivaswatha released this 07 Dec 02:16
v0.9.1
26cbccf
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Release notes for scilla_v0.9.1

Build system and packaging

  • ci: OCaml 4.11.0 to 4.11.1 (#885)
  • Esy package manager support (#886)
  • Update INSTALL.md (#888)

Language and Interpreter Changes

  • Remove -disable-validate-json option from scilla-runner (#893)
  • Fix gas charge for throw statements and print gas remaining (#895)
  • Provide command line flag for debug logging level (#898)
  • Do not warn when storing map values (#899)

Code Refactoring

  • Keep user-defined ADTs after typechecking pass (#889)
  • Rewrite gas mechanisms in terms of explicit gas_charge nodes (#887)
  • filter_mapM and filter monad utils (#896)
  • Gas charges to use Name.t instead of string (#897)
Assets 4
Loading