scilla_v0.5.1

Release notes v0.5.1

Build system

• Switch to Dune 2.0 (#723)
• Port Scilla to Core v0.12 and OCaml 4.07 - 4.09 (#724)
• add missing cmake for docker build (#726)
• Dune warnings are fixed; a note on local switches (#732)
• Switch from Core to Core_kernel in most places (#733)
• Use domt4 homebrew tap (#742)
• Fix opam build by making libff a git submodule (#753)
• Tweaks to build system (#755)

Language

• Mandate specifying scilla_version in libraries (#731)

Testsuite

• Added trivial constraint to crowdfunding (#728)
• Uniformize test modules' interfaces (#734)
• Remove unused tests (#741)
• Rearranging lib test files (#747)

Refactoring and other code improvements

• Add mli files (#729)
• Use ContractUtil for mandatory message field names (#735)
• Move files around (#736)
• Scilla runner refactoring + a small bug fix (#749)

Bugfixes

• Fix init JSON validation checks for libraries (#748)
• Fix Schnorr (#746)
• Fix bug/typo to check patterns in transitions (#752)

Misc

• INSTALL.md formatting: add foldable sections (#744)

Note on assets

• Please use scilla-v0.5.1.tar.gz and scilla-v0.5.1.zip to as source code archives, not the automatically generated by GitHub ones, as those don't contain dependencies which we keep as git submodules.