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