This is the ESBMC version used at the FSE'25 submission

What's Changed

• Feature/build mac by @sshivaji in #2219
• GCSE now only caches overflow inner operands by @rafaelsamenezes in #2221
• Only replace inner expressions for overflow in GCSE by @rafaelsamenezes in #2227
• [python-frontend] Handling chained comparisons by @brcfarias in #2228
• GCSE now resets index2t by @rafaelsamenezes in #2230
• Force update of tags in benchexec action by @rafaelsamenezes in #2234
• Added new catch exception for GCSE by @rafaelsamenezes in #2233
• [C++ verification] Improve the adjustment of capture variables by @XLiZHI in #2222

Full Changelog: v7.8...nightly-0f9f34afdc1ef89589437e04f88ffc04437358eb