Version 7.27.1

yoav-el-certora released this 02 Apr 09:23

· 422 commits to master since this release

2e920c1

What's Changed

7.26.0 release by @yoav-el-certora in #5
7.27.0 release by @yoav-el-certora in #6
7.27.1 release by @yoav-el-certora in #7

Full Changelog: https://github.com/Certora/CertoraProver/commits/7.27.1

Contributors

yoav-el-certora

Assets 2