8.0.0

What's Changed

• 8.0.0 Release by @yoav-el-certora in #26

Full Changelog: 7.31.0...8.0.0

7.31.0

What's Changed

• 7.31.0 Release by @yoav-el-certora in #24

Full Changelog: 7.30.1...7.31.0

7.29.3

Full Changelog: 7.29.2...7.29.3

cherry-pick of 0201920

7.30.1

What's Changed

• 7.30.1 Release by @yoav-el-certora in #19

Full Changelog: 7.30.0...7.30.1

7.29.2

Full Changelog: 7.29.1...7.29.2

7.30.0

What's Changed

• 7.30.0 Release by @yoav-el-certora in #18

Full Changelog: 7.29.1...7.30.0

7.29.1

What's Changed

• 7.29.1 release by @jar-ben in #16
• 7.29.1 release by @yoav-el-certora in #17

New Contributors

• @jar-ben made their first contribution in #16

Full Changelog: 7.29.0...7.29.1

7.29.0

What's Changed

• 7.29.0 release by @yoav-el-certora in #15

Full Changelog: 7.28.0...7.29.0

7.28.0

What's Changed

• 7.28.0 release by @yoav-el-certora in #9

Full Changelog: 7.27.1...7.28.0

Version 7.27.1

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