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

scilla_v0.11.1

Choose a tag to compare

@anton-trunov anton-trunov released this 31 Jul 05:31
· 126 commits to master since this release

Release scilla_v0.11.1

Bugfixes

  • Restrict the Scilla dependencies versions to prevent ecdsa_recover_pk from aborting the Scilla interpreter due to incorrect input values