scilla_v0.13.1

jubnzv released this 01 Feb 05:30

· 29 commits to master since this release

Release scilla_v0.13.1

Bugfixes

Disallow duplicate fields in address types (#1208)
Merge library: Remove unused code (#1198)
scilla-runner: Fix an exception on --help (#1202)

Infrastructure and build system

Update submodules (#1199)
Update vcpkg installation (#1205, #1206, #1210)

Assets 4