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

scilla_v0.10.1

Choose a tag to compare

View all tags
@vaivaswatha vaivaswatha released this 25 May 15:55
· 135 commits to master since this release
v0.10.1
2d58080
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 scilla_v0.10.1

This is a bugfix release with performance improvements and misc addons.

  • Address types that compare equal must be structurally equal (#985)
  • Fixed stack overflow issue (#986)
  • opam: add missing Conversions lib to installation list (#987)
  • Add a tool to convert Zil API state JSON to Scilla format (#988)
  • Split in_channel and out_channel in binary_rpc. (#992)
Assets 4
Loading