Skip to content

scilla_v0.11.1

Compare
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